@inproceedings{HKV96,
	author	    =   "T.A. Henzinger and O. Kupferman and M.Y. Vardi",
        title       =   "A Space-Efficient On-the-fly Algorithm for
                         Real-Time Model checking", 
        booktitle   =   "Proc. 7th Conferance on Concurrency Theory",
        series	    =   "Lecture Notes in Computer Science",
        volume      =   "1119",
        pages       =   "514-529",
        publisher   =   "Springer-Verlag",
        address     =   "Pisa",
        month       =   "August",
        year        =   "1996",
}