TY  - RPRT
TI  - A multi-paradigm language for reactive synthesis
AU  - Ioannis Filippidis
AU  - Richard M. Murray
AU  - Gerard J. Holzmann
PY  - 2016
DO  - 10.4204/eptcs.202.6
UR  - https://arxiv.org/abs/1602.01173
ID  - 1602.01173
ER  -