TY  - RPRT
TI  - Synthesis in Distributed Environments
AU  - Bernd Finkbeiner
AU  - Paul Gölz
PY  - 2017
DO  - 10.4230/lipics.fsttcs.2017.28
UR  - https://arxiv.org/abs/1710.05368
ID  - 1710.05368
ER  -