@article{Alur:1995:AAH:202379.202381,
    Address = {Essex, UK},
    Author = {Alur, R. and Courcoubetis, C. and Halbwachs, N. and Henzinger, T. A. and Ho, P.-H. and Nicollin, X. and Olivero, A. and Sifakis, J. and Yovine, S.},
    File = {The algorithmic analysis of hybrid systems - Alur, Courcoubetis, Halbwachs, Henzinger, Ho, Nicollin, Olivero, Sifakis, Yovine (0) (0) - a - a - f.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {hybrid automata},
    Month = {February},
    Number = {1},
    Pages = {3--34},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {The algorithmic analysis of hybrid systems},
    URL = {http://dx.doi.org/10.1016/0304-3975(94)00202-T},
    Volume = {138},
    Year = {1995},
    acmid = {202381},
    bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(94)00202-T},
    date-added = {2013-01-22 14:40:46 +0000},
    date-modified = {2013-01-22 14:40:53 +0000},
    file-2 = {The algorithmic analysis of hybrid systems - Alur, Courcoubetis, Halbwachs, Henzinger, Ho, Nicollin, Olivero, Sifakis, Yovine (1) (0) - a - a - f.pdf},
    issue_date = {Feb. 6, 1995},
    numpages = {32},
    doi = {10.1016/0304-3975(94)00202-T}
}

@article{Alur:1995:AAH:202379.202381, Address = {Essex, UK}, Author = {Alur, R. and Courcoubetis, C. and Halbwachs, N. and Henzinger, T. A. and Ho, P.-H. and Nicollin, X. and Olivero, A. and Sifakis, J. and Yovine, S.}, File = {The algorithmic analysis of hybrid systems - Alur, Courcoubetis, Halbwachs, Henzinger, Ho, Nicollin, Olivero, Sifakis, Yovine (0) (0) - a - a - f.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {hybrid automata}, Month = {February}, Number = {1}, Pages = {3--34}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {The algorithmic analysis of hybrid systems}, URL = {http://dx.doi.org/10.1016/0304-3975(94)00202-T}, Volume = {138}, Year = {1995}, acmid = {202381}, bdsk-url-1 = {http://dx.doi.org/10.1016/0304-3975(94)00202-T}, date-added = {2013-01-22 14:40:46 +0000}, date-modified = {2013-01-22 14:40:53 +0000}, file-2 = {The algorithmic analysis of hybrid systems - Alur, Courcoubetis, Halbwachs, Henzinger, Ho, Nicollin, Olivero, Sifakis, Yovine (1) (0) - a - a - f.pdf}, issue_date = {Feb. 6, 1995}, numpages = {32}, doi = {10.1016/0304-3975(94)00202-T} }