KIT | KIT-Bibliothek | Impressum | Datenschutz

A {\(\mu\)}-Calculus Approach to Supervisor Synthesis

Ziller, Roberto M.; Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2003
Sprache Englisch
Identifikator ISBN: 978-3-8322-1202-5
KITopen-ID: 1000095409
Erschienen in Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, 24.-25 Februar 2003. Hrsg.: R. Drechsler
Verlag Shaker, Aachen
Seiten 132–143
Serie Berichte aus der Informatik
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page