[Zurück]

@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}
}