Distributed Synthesis for Regular and Contextfree Specifications
Fridman, Wladimir (Author); Puchala, Bernd (Author)
Heidelberg [u.a.] / Springer (2011) [Buchbeitrag, Beitrag zu einem Tagungsband]
Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 ; proceedings / Filip Murlak; Piotr Sankowski (eds.)
Seite(n): 532-543
Identifikationsnummern
- DOI: 10.1007/978-3-642-22993-0_48
- REPORT NUMBER: RWTH-CONV-196951