KIT | KIT-Bibliothek | Impressum

DEMON: a tool for distributed system specification and analysis based on high-level stochastic Petri Nets

Leszak, M.



Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Jahr 1986
Sprache Englisch
Identifikator KITopen ID: 230023361
Erscheinungsvermerk Vortr.: GMD-Advanced Course on Petri Nets, Bad Honnef, September 8-19, 1986
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page