@article{Henzinger:Kopke:Puri:Varaiya:Hybrid:1998,
    Author = {Henzinger, Thomas A. and Kopke, Peter W. and Puri, Anuj and Varaiya, Pravin},
    File = {What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (0) (0) - a - a - k.pdf},
    ISSN = {0022-0000},
    Journal = {J. Comput. Syst. Sci. Int.},
    Keywords = {stopwatch automata and hybrid automata},
    Number = {1},
    Pages = {94--124},
    Title = {What's Decidable about Hybrid Automata?},
    URL = {http://www.sciencedirect.com/science/article/pii/S0022000098915811},
    Volume = {57},
    Year = {1998},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000098915811},
    bdsk-url-2 = {http://dx.doi.org/10.1006/jcss.1998.1581},
    date-added = {2013-04-17 10:06:52 +0000},
    date-modified = {2014-10-16 10:15:38 +0000},
    doi = {10.1006/jcss.1998.1581}
}

@article{Henzinger:Kopke:Puri:Varaiya:Hybrid:1998, Author = {Henzinger, Thomas A. and Kopke, Peter W. and Puri, Anuj and Varaiya, Pravin}, File = {What's Decidable about Hybrid Automata? - Henzinger, Kopke, Puri, Varaiya (0) (0) - a - a - k.pdf}, ISSN = {0022-0000}, Journal = {J. Comput. Syst. Sci. Int.}, Keywords = {stopwatch automata and hybrid automata}, Number = {1}, Pages = {94--124}, Title = {What's Decidable about Hybrid Automata?}, URL = {http://www.sciencedirect.com/science/article/pii/S0022000098915811}, Volume = {57}, Year = {1998}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0022000098915811}, bdsk-url-2 = {http://dx.doi.org/10.1006/jcss.1998.1581}, date-added = {2013-04-17 10:06:52 +0000}, date-modified = {2014-10-16 10:15:38 +0000}, doi = {10.1006/jcss.1998.1581} }