Mitra Purandare. Coverage, Vacuity, and Interpolation in Model Checking. PhD thesis, ETH Zurich, Zürich, Switzerland, 2010. [doi]
@phdthesis{basesearch-13982, title = {Coverage, Vacuity, and Interpolation in Model Checking}, author = {Mitra Purandare}, year = {2010}, url = {https://www.base-search.net/Record/f017adb7f3df3c7ae0caf65a409c8042a90166c4a25c3ffa41dcc5cadae47de0}, note = {base-search.net (ftethz:oai:www.research-collection.ethz.ch:20.500.11850/72719)}, researchr = {https://researchr.org/publication/basesearch-13982}, cites = {0}, citedby = {0}, school = {ETH Zurich, Zürich, Switzerland}, }