|
Search the dblp DataBase
Peter Kelb:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, Hergen Pargmann
Model Checking Using Adaptive State and Data Abstraction. [Citation Graph (0, 0)][DBLP] CAV, 1994, pp:455-467 [Conf]
- Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
MOSEL: A Sound and Efficient Tool for M2L(Str). [Citation Graph (0, 0)][DBLP] CAV, 1997, pp:448-451 [Conf]
- Johannes Helbig, Peter Kelb
An OBDD-Representation of Statecharts. [Citation Graph (0, 0)][DBLP] EDAC-ETC-EUROASIC, 1994, pp:142-149 [Conf]
- Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör
Statecharts. [Citation Graph (0, 0)][DBLP] Formal Development of Reactive Systems, 1995, pp:131-149 [Conf]
- Peter Kelb, Tiziana Margaria, Michael Mendler, Claudia Gsottberger
MOSEL: A FLexible Toolset for Monadic Second-Order Logic. [Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:183-202 [Conf]
Search in 0.002secs, Finished in 0.003secs
|