Bernd Grahlmann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1998

6 Bernd Grahlmann: The State of PEP. AMAST 1998: 522-526

5 Hans Fleischhack, Bernd Grahlmann: A Compositional Petri Net Semantics for SDL. ICATPN 1998: 144-164

4 Bernd 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

	1998
6		Bernd Grahlmann: The State of PEP. AMAST 1998: 522-526
5		Hans Fleischhack, Bernd Grahlmann: A Compositional Petri Net Semantics for SDL. ICATPN 1998: 144-164
4		Bernd 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

1 Eike Best [1]

2 Hans Fleischhack [5]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page