Combining supervisor synthesis and model checking
| Zugehörige Institution(en) am KIT | Institut für Technische Informatik (ITEC) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 05.2005 |
| Sprache | Englisch |
| Identifikator | ISSN: 1539-9087 KITopen-ID: 1000095440 |
| Erschienen in | ACM transactions on embedded computing systems |
| Verlag | Association for Computing Machinery (ACM) |
| Band | 4 |
| Heft | 2 |
| Seiten | 331–362 |
| Nachgewiesen in | OpenAlex Dimensions Scopus |