Claudia Gsottberger

	1997
2		Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A Sound and Efficient Tool for M2L(Str). CAV 1997: 448-451
1		Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger: MOSEL: A FLexible Toolset for Monadic Second-Order Logic. TACAS 1997: 183-202

Coauthor Index

1	Peter Kelb	[1] [2]
2	Tiziana Margaria (Tiziana Margaria-Steffen)	[1] [2]
3	Michael Mendler	[1] [2]