BibSonomy :: author :: Kelb ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(7)

<< < 1 > >>

Model Checking Using Adaptive State and Data Abstraction.
Dennis Dams, Rob Gerth, Gert Döhmen, Ronald Herrmann, Peter Kelb, and Hergen Pargmann CAV, volume 818 of Lecture Notes in Computer Science, page 455-467. Springer, (1994)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
MOSEL: A Sound and Efficient Tool for M2LStr.
Peter Kelb, Tiziana Margaria, Michael Mendler, and Claudia Gsottberger CAV, volume 1254 of Lecture Notes in Computer Science, page 448-451. Springer, (1997)
to dblp by dblp on Sep 25, 2009, 12:00 AM
URL | BibTeX
VHDL/S - integrating statecharts, timing diagrams, and VHDL.
J. Helbig, Rainer Schlör, Werner Damm, Gert Döhmen, and Peter Kelb Microprocessing and Microprogramming 38(1-5):571-580 (1993)
to dblp by dblp on Sep 22, 2009, 12:00 AM
URL | BibTeX
An OBDD-Representation of Statecharts.
Johannes Helbig, and Peter Kelb EDAC-ETC-EUROASIC, page 142-149. IEEE Computer Society, (1994)
to dblp by dblp and 1 other user on Mar 2, 2009, 12:00 AM
URL | BibTeX
An OBDD-representation of statecharts
J. Helbig, and P. Kelb page 142--149. (1994)
to semantics statecharts 1994 by leonardo and 1 other user on Feb 12, 2009, 12:14 AM
URL | DOI | BibTeX
MOSEL: A FLexible Toolset for Monadic Second-Order Logic.
Peter Kelb, Tiziana Margaria, Michael Mendler, and Claudia Gsottberger TACAS, volume 1217 of Lecture Notes in Computer Science, page 183-202. Springer, (1997)
to dblp by dblp on Mar 18, 2002, 12:00 AM
URL | BibTeX
Statecharts.
Werner Damm, Hardi Hungar, Peter Kelb, and Rainer Schlör Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science, page 131-149. Springer, (1995)
to dblp by dblp on Feb 5, 2002, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100