@inproceedings{CKKV01,
	author	    =   "H. Chockler and O. Kupferman and R.P. Kurshan
                  and M.Y. Vardi",  
        title       =   "A Practical Approach to Coverage in Model Checking",
	booktitle  = 	"Computer Aided Verification, Proc. 13th  International
                         Conference",
        series      =   "Lecture Notes in Computer Science",
        volume      =   2102,
        pages       =   "66-78",
        publisher   =   "Springer-Verlag",
        year        =   "2001"
}