|
Search the dblp DataBase
Bernd Grahlmann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bernd Grahlmann
The State of PEP. [Citation Graph (0, 0)][DBLP] AMAST, 1998, pp:522-526 [Conf]
- Hans Fleischhack, Bernd Grahlmann
A Compositional Petri Net Semantics for SDL. [Citation Graph (0, 0)][DBLP] ICATPN, 1998, pp:144-164 [Conf]
- Bernd Grahlmann
The PEP Tool. [Citation Graph (0, 0)][DBLP] CAV, 1997, pp:440-443 [Conf]
- Bernd Grahlmann
The Reference Component of PEP. [Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:65-80 [Conf]
- Bernd Grahlmann
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:102-117 [Conf]
- Bernd Grahlmann, Eike Best
PEP - More than a Petri Net Tool. [Citation Graph (0, 0)][DBLP] TACAS, 1996, pp:397-401 [Conf]
Search in 0.001secs, Finished in 0.001secs
|