TY - RPRT TI - Distributed Synthesis in Continuous Time AU - Holger Hermanns AU - Jan Krčál AU - Steen Vester PY - 2016 UR - https://arxiv.org/abs/1601.01587 ID - 1601.01587 ER -