Peter Kelb

According to our database, Peter Kelb authored at least 7 papers between 1993 and 1997.

Collaborative distances:

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

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

1996

Abstraktionstechniken für automatische Verifikationsmethoden.

Peter Kelb

PhD thesis, 1996

1995

Statecharts.

Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

1994

An OBDD-Representation of Statecharts.

Johannes Helbig, Peter Kelb

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

Model Checking Using Adaptive State and Data Abstraction.

Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

VHDL/S - integrating statecharts, timing diagrams, and VHDL.

Johannes Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, Peter Kelb

Microprocess. Microprogramming, 1993