Distributed synthesis for regular and contextfree specifications

Berlin ; Heidelberg / Springer (2014) [Journal Article]

Acta informatica
Band: 51
Ausgabe: 3/4
Seite(n): 221-260

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Fridman, Wladimir
Puchala, Bernd

Identifikationsnummern

  • ISSN: 0001-5903
  • ISSN: 1432-0525