Distributed synthesis for regular and contextfree specifications

Fridman, Wladimir; Puchala, Bernd

Berlin ; Heidelberg : Springer (2014)
Journal Article

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

Identifier