Distributed synthesis for regular and contextfree specifications
Fridman, Wladimir (Corresponding author); Puchala, Bernd
Berlin ; Heidelberg : Springer (2014)
Fachzeitschriftenartikel
In: Acta informatica
Band: 51
Heft: 3/4
Seite(n)/Artikel-Nr.: 221-260
Identifikationsnummern
- DOI: 10.1007/s00236-014-0194-x
- RWTH PUBLICATIONS: RWTH-CONV-084391