TY  - RPRT
TI  - Regression-free Synthesis for Concurrency
AU  - Pavol Černý
AU  - Thomas A. Henzinger
AU  - Arjun Radhakrishna
AU  - Leonid Ryzhyk
AU  - Thorsten Tarrach
PY  - 2014
DO  - 10.1007/978-3-319-08867-9_38
UR  - https://arxiv.org/abs/1407.3681
ID  - 1407.3681
ER  -