KIT | KIT-Bibliothek | Impressum | Datenschutz

Combining supervisor synthesis and model checking

Ziller, Roberto; Schneider, Klaus

Open Access Logo


Download
Originalveröffentlichung
DOI: 10.1145/1067915.1067920
Scopus
Zitationen: 27
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Zeitschriftenaufsatz
Jahr 2005
Sprache Englisch
Identifikator ISSN: 1539-9087
KITopen-ID: 1000095440
Erschienen in ACM transactions on embedded computing systems
Band 4
Heft 2
Seiten 331–362
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page