@inproceedings{RV12,
    author      =   "K.Y. Rozier and M.Y. Vardi",
    title       =   "Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking",
    editors     =   "Armin Biere and Tanja E.J. Vos",
    booktitle   =   "8th Haifa Verification Conference (HVC2012)",
    series      =   "Lecture Notes in Computer Science (LNCS)",
    volume      =   "TBD",
    publisher   =   "Springer-Verlag",
    pages       =   "TBD",
    year        =   "2012"
}