Bernd Grahlmann

Publication Activity (10 Years)

Years Active: 1996-1998
Publications (10 Years): 0

Publications

Bernd Grahlmann
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. TACAS (1998)
Bernd Grahlmann, Hans Fleischhack
Towards Compositional Verification of SDL Systems. HICSS (7) (1998)
Hans Fleischhack, Bernd Grahlmann
A Compositional Petri Net Semantics for SDL. ICATPN (1998)
Bernd Grahlmann
The State of PEP. AMAST (1998)
Bernd Grahlmann
The PEP Tool. CAV (1997)
Bernd Grahlmann, Hans Fleischhack
with Procedures. PDSE (1997)
Bernd Grahlmann
The Reference Component of PEP. TACAS (1997)
Bernd Grahlmann, Eike Best
PEP - More than a Petri Net Tool. TACAS (1996)