KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Leszak, M.; Eggert, H.


Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Buch
Publikationsjahr 1988
Sprache Deutsch
Identifikator KITopen-ID: 140027138
Erscheinungsvermerk Berlin [u.a.] : Springer, 1988 (Informatik Fachberichte ; 197)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page