%0 Conference Paper %1 conf/spin/BeyerW13 %A Beyer, Dirk %A Wendler, Philipp %B SPIN %D 2013 %E Bartocci, Ezio %E Ramakrishnan, C. R. %I Springer %K dblp %P 1-17 %T Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses. %U http://dblp.uni-trier.de/db/conf/spin/spin2013.html#BeyerW13 %V 7976 %@ 978-3-642-39175-0

@inproceedings{conf/spin/BeyerW13, added-at = {2017-09-16T00:00:00.000+0200}, author = {Beyer, Dirk and Wendler, Philipp}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bd480aa60cdc3ea405813e19df3dc9e1/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2013}, editor = {Bartocci, Ezio and Ramakrishnan, C. R.}, ee = {https://doi.org/10.1007/978-3-642-39176-7_1}, interhash = {eb241863c779284d6a4b1876505d8e15}, intrahash = {bd480aa60cdc3ea405813e19df3dc9e1}, isbn = {978-3-642-39175-0}, keywords = {dblp}, pages = {1-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:02:31.000+0200}, title = {Reuse of Verification Results - Conditional Model Checking, Precision Reuse, and Verification Witnesses.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2013.html#BeyerW13}, volume = 7976, year = 2013 }