dblp.uni-trier.dewww.uni-trier.de

Bernd Grahlmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
6EEBernd Grahlmann: The State of PEP. AMAST 1998: 522-526
5EEHans Fleischhack, Bernd Grahlmann: A Compositional Petri Net Semantics for SDL. ICATPN 1998: 144-164
4EEBernd Grahlmann: Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. TACAS 1998: 102-117
1997
3 Bernd Grahlmann: The PEP Tool. CAV 1997: 440-443
2 Bernd Grahlmann: The Reference Component of PEP. TACAS 1997: 65-80
1996
1 Bernd Grahlmann, Eike Best: PEP - More than a Petri Net Tool. TACAS 1996: 397-401

Coauthor Index

1Eike Best [1]
2Hans Fleischhack [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)