%0 Conference Paper %1 conf/vmcai/BloemKS14 %A Bloem, Roderick %A Könighofer, Robert %A Seidl, Martina %B VMCAI %D 2014 %E McMillan, Kenneth L. %E Rival, Xavier %I Springer %K %P 1-20 %T SAT-Based Synthesis Methods for Safety Specs. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#BloemKS14 %V 8318 %@ 978-3-642-54012-7

@inproceedings{conf/vmcai/BloemKS14, added-at = {2023-12-13T08:47:51.000+0100}, author = {Bloem, Roderick and Könighofer, Robert and Seidl, Martina}, biburl = {https://www.bibsonomy.org/bibtex/2a6be150f7806f4d68dedfa0c27dc11da/admin}, booktitle = {VMCAI}, crossref = {conf/vmcai/2014}, editor = {McMillan, Kenneth L. and Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-642-54013-4_1}, interhash = {c77db2be66c654a96bfe3846addc1842}, intrahash = {a6be150f7806f4d68dedfa0c27dc11da}, isbn = {978-3-642-54012-7}, keywords = {}, pages = {1-20}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:47:51.000+0100}, title = {SAT-Based Synthesis Methods for Safety Specs.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#BloemKS14}, volume = 8318, year = 2014 }