TY  - RPRT
TI  - Distributed synthesis for acyclic architectures
AU  - Anca Muscholl
AU  - Igor Walukiewicz
PY  - 2014
UR  - https://arxiv.org/abs/1402.3314
ID  - 1402.3314
ER  -