KIT | KIT-Bibliothek | Impressum

Petri-Netze zur Spezifikation und Validation des logischen und stochastischen Verhaltens diskreter nicht-sequentieller Systeme

Leszak, M.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Jahr 1987
Sprache Deutsch
Identifikator KITopen ID: 230024758
Erscheinungsvermerk Vortr.: Universitaet Karlsruhe, 11.Juni 1987
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page