Claudia Gsottberger

According to our database, Claudia Gsottberger authored at least 3 papers between 1997 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen.

Claudia Gsottberger

PhD thesis, 2004

1997

MOSEL: A FLexible Toolset for Monadic Second-Order Logic.

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

MOSEL: A Sound and Efficient Tool for M2L(Str).

Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger

Proceedings of the Computer Aided Verification, 9th International Conference, 1997