BibTeX record conf/tacas/GrahlmannB96

download as .bib file

@inproceedings{DBLP:conf/tacas/GrahlmannB96,
  author    = {Bernd Grahlmann and
               Eike Best},
  title     = {{PEP} - More than a Petri Net Tool},
  booktitle = {{TACAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1055},
  pages     = {397--401},
  publisher = {Springer},
  year      = {1996}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics