BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Israel
1 × The Netherlands
1 × USA
Collaborated with:
T.Margaria-Steffen M.Mendler C.Gsottberger J.Helbig D.Dams R.Gerth G.Döhmen R.Herrmann H.Pargmann
Talks about:
mosel (2) statechart (1) represent (1) abstract (1) toolset (1) second (1) lexibl (1) effici (1) state (1) sound (1)

Person: Peter Kelb

DBLP DBLP: Kelb:Peter

Contributed to:

CAV 19971997
TACAS 19971997
CAV 19941994

Wrote 4 papers:

CAV-1997-KelbMMG #named #performance
MOSEL: A Sound and Efficient Tool for M2L(Str) (PK, TMS, MM, CG), pp. 448–451.
TACAS-1997-KelbMMG #flexibility #higher-order #logic #monad #named #tool support
MOSEL: A FLexible Toolset for Monadic Second-Order Logic (PK, TMS, MM, CG), pp. 183–202.
CAV-1994-DamsGDHKP #abstraction #adaptation #model checking #using
Model Checking Using Adaptive State and Data Abstraction (DD, RG, GD, RH, PK, HP), pp. 455–467.
An OBDD-Representation of Statecharts (JH, PK), pp. 142–149.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.