KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-37785

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des mü-Kalküls

Ziller, Roberto



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Hochschulschrift
Jahr 2005
Sprache Deutsch
Identifikator URN: urn:nbn:de:swb:90-37785
KITopen ID: 1000003778
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Technische Informatik (ITEC)
Prüfungsdaten 08.07.2005
Referent/Betreuer Prof. D. Schmid
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page