1997 |
5 | | Peter Kelb,
Tiziana Margaria,
Michael Mendler,
Claudia Gsottberger:
MOSEL: A Sound and Efficient Tool for M2L(Str).
CAV 1997: 448-451 |
4 | | Peter Kelb,
Tiziana Margaria,
Michael Mendler,
Claudia Gsottberger:
MOSEL: A FLexible Toolset for Monadic Second-Order Logic.
TACAS 1997: 183-202 |
1995 |
3 | | Werner Damm,
Hardi Hungar,
Peter Kelb,
Rainer Schlör:
Statecharts.
Formal Development of Reactive Systems 1995: 131-149 |
1994 |
2 | | Dennis Dams,
Rob Gerth,
Gert Döhmen,
Ronald Herrmann,
Peter Kelb,
Hergen Pargmann:
Model Checking Using Adaptive State and Data Abstraction.
CAV 1994: 455-467 |
1 | | Johannes Helbig,
Peter Kelb:
An OBDD-Representation of Statecharts.
EDAC-ETC-EUROASIC 1994: 142-149 |