@inproceedings{TUW-233356, author = {Bloem, Roderick and K{\"o}nighofer, Robert and Seidl, Martina}, title = {SAT-Based Synthesis Methods for Safety Specs}, booktitle = {Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation}, year = {2014}, editor = {McMillan, Kenneth and Rival, Xavier}, pages = {1--20}, publisher = {Springer LNCS}, url = {http://link.springer.com/chapter/10.1007%2F978-3-642-54013-4_1}, isbn = {978-3-642-54012-7}, doi = {10.1007/978-3-642-54013-4} }