LeszakE89'

BibTeX

@book{DBLP:books/sp/LeszakE89,
  author    = {Marek Leszak and
               Horst Eggert},
  title     = {Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation
               und -validation von Rechensystemen},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {197},
  year      = {1989},
  isbn      = {3-540-50642-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}