Distributed synthesis for regular and contextfree specifications
Fridman, Wladimir (Author); Puchala, Bernd (Author)
Berlin ; Heidelberg / Springer (2014) [Fachzeitschriftenartikel]
Acta informatica
Band: 51
Ausgabe: 3/4
Seite(n): 221-260
Identifikationsnummern
- DOI: 10.1007/s00236-014-0194-x
- REPORT NUMBER: RWTH-CONV-084391