SAT-Based Synthesis Methods for Safety Specs

R. Bloem, R. K├Ânighofer, M. Seidl:
"SAT-Based Synthesis Methods for Safety Specs";
in:"Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation", K. McMillan, X. Rival (Hrg.); Springer LNCS, 2014, ISBN: 978-3-642-54012-7, S. 1 - 20.

[ Publication Database ]