KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal development of reactive systems

Lindner, Thomas; Lewerentz, Claus



Zugehörige Institution(en) am KIT Forschungszentrum Informatik, Karlsruhe (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