| |
| * | 1997 | |
|---|---|---|
| 2 | EE | 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] |