@INPROCEEDINGS{GKD:2007,
   AUTHOR    = {Daniel Gro{\ss}e and Ulrich K\"uhne and Rolf Drechsler},
   TITLE     = {Estimating Functional Coverage in Bounded Model Checking},
   BOOKTITLE = date,
   PAGES     = {1176--1181},
   YEAR      = {2007}
}