@INPROCEEDINGS{KGD:2007,
   AUTHOR    = {Ulrich K\"uhne and Daniel Gro{\ss}e  and Rolf Drechsler},
   TITLE     = {Improving the quality of bounded model checking by means of coverage estimation},
   BOOKTITLE = isvlsi,
   PAGES     = {165--170},
   YEAR      = {2007}
}