@inproceedings{185551,
    Author = {Henzinger, T.A. and Nicollin, X. and Sifakis, J. and Yovine, S.},
    BookTitle = {Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on},
    File = {Symbolic model checking for real-time systems - Henzinger, Nicollin, Sifakis, Yovine (0) (0) - a - a - q.pdf},
    Keywords = {timed automata},
    Month = {jun},
    Pages = {394 -406},
    Title = {Symbolic model checking for real-time systems},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1992.185551},
    date-added = {2012-03-06 11:51:40 +0100},
    date-modified = {2012-03-06 10:52:12 +0000},
    doi = {10.1109/LICS.1992.185551}
}

@inproceedings{185551, Author = {Henzinger, T.A. and Nicollin, X. and Sifakis, J. and Yovine, S.}, BookTitle = {Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on}, File = {Symbolic model checking for real-time systems - Henzinger, Nicollin, Sifakis, Yovine (0) (0) - a - a - q.pdf}, Keywords = {timed automata}, Month = {jun}, Pages = {394 -406}, Title = {Symbolic model checking for real-time systems}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1992.185551}, date-added = {2012-03-06 11:51:40 +0100}, date-modified = {2012-03-06 10:52:12 +0000}, doi = {10.1109/LICS.1992.185551} }