TY  - RPRT
TI  - SAT-Based Synthesis Methods for Safety Specs
AU  - Roderick Bloem
AU  - Robert Koenighofer
AU  - Martina Seidl
PY  - 2013
UR  - https://arxiv.org/abs/1311.3530
ID  - 1311.3530
ER  -