Publication

[HermannsKV16] Distributed Synthesis in Continuous Time Hermanns, H.; Krcál, J. and Vester, S. In FoSSaCS, pages 353-369, LNCS 9634, 2016.
Downloads: bib