%0 Conference Paper %1 conf/dac/HoskoteKHZ99 %A Hoskote, Yatin Vasant %A Kam, Timothy %A Ho, Pei-Hsin %A Zhao, Xudong %B DAC %D 1999 %E Irwin, Mary Jane %I ACM Press %K dblp %P 300-305 %T Coverage Estimation for Symbolic Model Checking. %U http://dblp.uni-trier.de/db/conf/dac/dac99.html#HoskoteKHZ99

@inproceedings{conf/dac/HoskoteKHZ99, added-at = {2020-11-17T00:00:00.000+0100}, author = {Hoskote, Yatin Vasant and Kam, Timothy and Ho, Pei-Hsin and Zhao, Xudong}, biburl = {https://www.bibsonomy.org/bibtex/215c3bf39c888e60fb0d97e92c7bc1045/dblp}, booktitle = {DAC}, crossref = {conf/dac/1999}, editor = {Irwin, Mary Jane}, ee = {https://doi.org/10.1145/309847.309936}, interhash = {cde43f194364e8baa9742a430aa38481}, intrahash = {15c3bf39c888e60fb0d97e92c7bc1045}, keywords = {dblp}, pages = {300-305}, publisher = {ACM Press}, timestamp = {2020-11-19T11:40:24.000+0100}, title = {Coverage Estimation for Symbolic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac99.html#HoskoteKHZ99}, year = 1999 }