Login
- Title:
Automated Synthesis of Distributed Controllers
- Document type:
- Buchbeitrag
- Author(s):
- Muscholl, Anca
- Book title:
- Automata, Languages, and Programming
- Publisher:
- Springer Berlin Heidelberg
- Year:
- 2015
- Pages:
- 11-27
- Print-ISBN:
- 97836624766599783662476666
- DOI:
- doi:10.1007/978-3-662-47666-6_2
BibTeX