Distributed synthesis for regular and contextfree specifications

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

Acta informatica
Volume: 51
Issue: 3/4
Page(s): 221-260

Authors

Selected Authors

Fridman, Wladimir
Puchala, Bernd

Identifier