TY  - RPRT
TI  - AbsSynthe: abstract synthesis from succinct safety specifications
AU  - Romain Brenguier
AU  - Guillermo A. Pérez
AU  - Jean-François Raskin
AU  - Ocan Sankur
PY  - 2014
DO  - 10.4204/eptcs.157.11
UR  - https://arxiv.org/abs/1407.5961
ID  - 1407.5961
ER  -