TY  - RPRT
TI  - Synthesis of Parallel Synchronous Software
AU  - Pantea Kiaei
AU  - Patrick Schaumont
PY  - 2020
DO  - 10.1109/les.2020.2992051
UR  - https://arxiv.org/abs/2005.02562
ID  - 2005.02562
ER  -