@inproceedings{KPV02,
	author	    =   "O. Kupferman and N. Piterman and M.Y. Vardi",
        title       =   "Model Checking Linear Properties of
                         Prefix-Recognizable Systems",  
	booktitle  = 	"Computer Aided Verification, Proc. 14th  International
                         Conference",
        series      =   "Lecture Notes in Computer Science",
        volume      =   ?,
        pages       =   "?",
        publisher   =   "Springer-Verlag",
        year        =   "2002"
}