KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal development of reactive systems

Lindner, Thomas; Lewerentz, Claus


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)
Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buch
Publikationsjahr 1995
Sprache Englisch
Identifikator KITopen-ID: 196095
Erscheinungsvermerk Berlin 1995. (Lecture notes in computer science. 891.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page