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