KIT | KIT-Bibliothek | Impressum | Datenschutz

Mathematische Modellierung und Verifikation von SDL-Systemen

Rinderspacher, Markus



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Hochschulschrift
Publikationsjahr 1996
Sprache Deutsch
Identifikator KITopen-ID: 9496
Verlag Universität Karlsruhe (TH)
Erscheinungsvermerk Fak. f. Informatik, Diss. v. 2.2.1996.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Prüfungsdaten Diss. v. 2.2.1996
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page