@inproceedings{HKQ98, author = "T.A. Henzinger and O. Kupferman and S. Qadeer", title = "From Pre-historic to Post-modern symbolic model checking", booktitle = "Computer Aided Verification, Proc. 10th Int. Conference", series = "Lecture Notes in Computer Science", publisher = "Springer-Verlag", year = "1998" }