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: Kelb:Peter
Contributed to:
1997
19971994
1994Wrote 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.
- EDAC-1994-HelbigK
- An OBDD-Representation of Statecharts (JH, PK), pp. 142–149.