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] |