Distributed Synthesis for Regular and Contextfree Specifications

Heidelberg [u.a.] / Springer (2011) [Contribution to a conference proceedings]

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 ; proceedings / Filip Murlak; Piotr Sankowski (eds.)
Page(s): 532-543