Dirk Beyer, Thomas A. Henzinger, M. Erkan Keremoglu, Philipp Wendler. Conditional model checking: a technique to pass information between verifiers. In Will Tracz, Martin P. Robillard, Tevfik Bultan, editors, 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012. pages 57, ACM, 2012. [doi]
@inproceedings{BeyerHKW12,
title = {Conditional model checking: a technique to pass information between verifiers},
author = {Dirk Beyer and Thomas A. Henzinger and M. Erkan Keremoglu and Philipp Wendler},
year = {2012},
doi = {10.1145/2393596.2393664},
url = {http://doi.acm.org/10.1145/2393596.2393664},
researchr = {https://researchr.org/publication/BeyerHKW12},
cites = {0},
citedby = {0},
pages = {57},
booktitle = {20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), SIGSOFT/FSE'12, Cary, NC, USA - November 11 - 16, 2012},
editor = {Will Tracz and Martin P. Robillard and Tevfik Bultan},
publisher = {ACM},
isbn = {978-1-4503-0443-6},
}