Distributed synthesis for regular and contextfree specifications

Fridman, Wladimir (Author); Puchala, Bernd (Author)

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

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

Identifier