Distributed Synthesis for Regular and Contextfree Specifications
Fridman, Wladimir; Puchala, Bernd
Heidelberg [u.a.] : Springer (2011)
Buchbeitrag, Beitrag zu einem Tagungsband
In: 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)/Artikel-Nr.: 532-543
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
- Fachgruppe Informatik [120000]
- [122110]
Identifikationsnummern
- DOI: 10.1007/978-3-642-22993-0_48
- RWTH PUBLICATIONS: RWTH-CONV-196951