![]() | ![]() |
| 2005 | ||
|---|---|---|
| 3 | Claudia Gsottberger: Ein Framework zur modularisierten und pattern-basierten Entwicklung von zuverlässigen, personalisierten, web-basierten Applikationen. Dortmund University of Technology 2005: 1-233 | |
| 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 | |
| 1 | Peter Kelb | [1] [2] |
| 2 | Tiziana Margaria (Tiziana Margaria-Steffen) | [1] [2] |
| 3 | Michael Mendler | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page