@article{asarin:thao:girard:2007,
    Author = {Asarin, Eugene and Dang, Thao and Girard, Antoine},
    File = {Hybridization methods for the analysis of nonlinear systems - Asarin, Dang, Girard (0) (0) - a - a - u.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Keywords = {hybrid systems},
    Language = {English},
    Number = {7},
    Pages = {451-476},
    Publisher = {Springer-Verlag},
    Title = {Hybridization methods for the analysis of nonlinear systems},
    URL = {http://dx.doi.org/10.1007/s00236-006-0035-7},
    Volume = {43},
    Year = {2007},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-006-0035-7},
    date-added = {2013-11-17 15:14:48 +0000},
    date-modified = {2013-11-17 15:24:05 +0000},
    doi = {10.1007/s00236-006-0035-7}
}

@article{asarin:thao:girard:2007, Author = {Asarin, Eugene and Dang, Thao and Girard, Antoine}, File = {Hybridization methods for the analysis of nonlinear systems - Asarin, Dang, Girard (0) (0) - a - a - u.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Keywords = {hybrid systems}, Language = {English}, Number = {7}, Pages = {451-476}, Publisher = {Springer-Verlag}, Title = {Hybridization methods for the analysis of nonlinear systems}, URL = {http://dx.doi.org/10.1007/s00236-006-0035-7}, Volume = {43}, Year = {2007}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-006-0035-7}, date-added = {2013-11-17 15:14:48 +0000}, date-modified = {2013-11-17 15:24:05 +0000}, doi = {10.1007/s00236-006-0035-7} }