Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen

Marek Leszak, Horst Eggert. Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen. Volume 197 of Informatik-Fachberichte, Springer, 1989.

@book{LeszakE89,
  title = {Petri-Netz-Methoden und -Werkzeuge: Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen},
  author = {Marek Leszak and Horst Eggert},
  year = {1989},
  researchr = {https://researchr.org/publication/LeszakE89},
  cites = {0},
  citedby = {0},
  volume = {197},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-50642-X},
}