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