KIT | KIT-Bibliothek | Impressum | Datenschutz
Suche im KITopen-Katalog

Repository KITopen

Formal asynchronous systems modelling

Kohn, Markus; Schmeck, Hartmut


BibTeX (UTF-8) BibTeX (ASCII) EndNote/Refer (.enw) RIS CSL-JSON ISI
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2000
Sprache Deutsch
Identifikator KITopen-ID: 32512000
Erscheinungsvermerk Fundamenta informaticae 42 (2000) S. 1-55.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page