Tobias Welp, Andreas Kuehlmann. QF BV model checking with property directed reachability. In Enrico Macii, editor, Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. pages 791-796, EDA Consortium San Jose, CA, USA / ACM DL, 2013. [doi]
@inproceedings{WelpK13,
title = {QF BV model checking with property directed reachability},
author = {Tobias Welp and Andreas Kuehlmann},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2485480},
researchr = {https://researchr.org/publication/WelpK13},
cites = {0},
citedby = {0},
pages = {791-796},
booktitle = {Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013},
editor = {Enrico Macii},
publisher = {EDA Consortium San Jose, CA, USA / ACM DL},
isbn = {978-1-4503-2153-2},
}