KIT | KIT-Bibliothek | Impressum

Formal methods for concurrency. Tagungsband zum Workshop der GI-Fachgruppen 0.0.1 "Petrinetze und verwandte Systemmodelle" und 0.1.7 "Spezifikation und Semantik"

Desel, Jörg; Reichel, Horst; [Hrsg.]



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsband
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 276496
Erscheinungsvermerk Dresden 1996. (Technische Berichte. Fakultät Informatik, Technische Universität Dresden. 96,16.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page