KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal methods for reactive systems

Lewerentz, Claus; Lindner, Thomas


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
FZI Forschungszentrum Informatik (FZI)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 291795
Erscheinungsvermerk Karlsruhe 1995. (FZI report. 1995,2.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page