Distributed synthesis for regular and contextfree specifications

Fridman, Wladimir; Puchala, Bernd

Berlin ; Heidelberg : Springer (2014)
Fachzeitschriftenartikel

In: Acta informatica
Band: 51
Heft: 3/4
Seite(n)/Artikel-Nr.: 221-260