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