Roderick Bloem, Martina Seidl, Robert Könighofer,
"SAT-Based Synthesis Methods for Safety Specs"
, in McMillan, Kenneth and Rival, Xavier: Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation, Serie Lecture Notes in Computer Science (LNCS), Springer, 2014, ISBN: 978-3-642-54012-7
Original Titel:
SAT-Based Synthesis Methods for Safety Specs
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation
Forschungs-