@inproceedings{henzinger:hybrid:96,
    Author = {Henzinger, T.A.},
    BookTitle = {Eleventh Annual IEEE Symposium on Logic in Computer Science},
    File = {The theory of hybrid automata - Henzinger (0) (0) - a - a - d.pdf},
    ISSN = {1043-6871},
    Keywords = {hybrid automata},
    Month = {jul},
    Pages = {278 -292},
    Title = {The theory of hybrid automata},
    Year = {1996},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1996.561342},
    date-added = {2012-12-07 10:11:23 +0000},
    date-modified = {2013-10-14 08:30:23 +0000},
    file-2 = {The theory of hybrid automata - Henzinger (1) (0) - a - a - d.pdf},
    doi = {10.1109/LICS.1996.561342}
}

@inproceedings{henzinger:hybrid:96, Author = {Henzinger, T.A.}, BookTitle = {Eleventh Annual IEEE Symposium on Logic in Computer Science}, File = {The theory of hybrid automata - Henzinger (0) (0) - a - a - d.pdf}, ISSN = {1043-6871}, Keywords = {hybrid automata}, Month = {jul}, Pages = {278 -292}, Title = {The theory of hybrid automata}, Year = {1996}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1996.561342}, date-added = {2012-12-07 10:11:23 +0000}, date-modified = {2013-10-14 08:30:23 +0000}, file-2 = {The theory of hybrid automata - Henzinger (1) (0) - a - a - d.pdf}, doi = {10.1109/LICS.1996.561342} }