| * | 1997 |
|---|
| 6 | EE | Peter Kelb,
Tiziana Margaria,
Michael Mendler,
Claudia Gsottberger:
MOSEL: A Sound and Efficient Tool for M2L(Str).
CAV 1997: 448-451 |
| 5 | | Peter Kelb,
Tiziana Margaria,
Michael Mendler,
Claudia Gsottberger:
MOSEL: A FLexible Toolset for Monadic Second-Order Logic.
TACAS 1997: 183-202 |
| 1995 |
|---|
| 4 | | Werner Damm,
Hardi Hungar,
Peter Kelb,
Rainer Schlör:
Statecharts.
Formal Development of Reactive Systems 1995: 131-149 |
| 1994 |
|---|
| 3 | EE | 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 |
| 2 | | Johannes Helbig,
Peter Kelb:
An OBDD-Representation of Statecharts.
EDAC-ETC-EUROASIC 1994: 142-149 |
| 1993 |
|---|
| 1 | EE | Johannes Helbig,
Rainer Schlör,
Werner Damm,
Gert Döhmen,
Peter Kelb:
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
Microprocessing and Microprogramming 38(1-5): 571-580 (1993) |
