KIT | KIT-Bibliothek | Impressum

Formal asynchronous systems modelling

Kohn, Markus; Schmeck, Hartmut



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Jahr 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