- Dokumenttyp:
- Buchbeitrag
- Autor(en):
- Muscholl, Anca
- Titel:
- Automated Synthesis of Distributed Controllers
- Buchtitel:
- Automata, Languages, and Programming
- Verlag / Institution:
- Springer Berlin Heidelberg
- Jahr:
- 2015
- Seiten/Umfang:
- 11-27
- Print-ISBN:
- 97836624766599783662476666
- DOI:
- doi:10.1007/978-3-662-47666-6_2
BibTeX