SAT-Based Synthesis Methods for Safety Specs (bibtex)
by Roderick Bloem, Robert Könighofer, Martina Seidl
Reference:
SAT-Based Synthesis Methods for Safety SpecsRoderick Bloem, Robert Könighofer, Martina SeidlVerification, Model Checking, and Abstract Interpretation (VMCAI'14), volume 8318 of Lecture Notes in Computer Science, pages 1-20, 2014, Springer.
Bibtex Entry:
@inproceedings{BloemKS14,
publisher = {Springer},
title = {SAT-Based Synthesis Methods for Safety Specs},
ee = {http://dx.doi.org/10.1007/978-3-642-54013-4_1},
series = {Lecture Notes in Computer Science},
booktitle = {Verification, Model Checking, and Abstract Interpretation (VMCAI'14)},
author = {Roderick Bloem and Robert K{\"o}nighofer and Martina Seidl},
volume = {8318},
url = {http://arxiv.org/pdf/1311.3530},
year = {2014},
bibsource = {DBLP, http://dblp.uni-trier.de},
pages = {1-20},
}
Powered by bibtexbrowser