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

Authors

Fridman, Wladimir
Puchala, Bernd

Identifier