@inproceedings{Ratschan:2010:SVN:2143986.2144025,
    Address = {Berlin, Heidelberg},
    Author = {Ratschan, Stefan},
    BookTitle = {Proceedings of the 7th Annual Conference on Theory and Applications of Models of Computation},
    File = {Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable - Ratschan (1) (0) - a - a - y.pdf},
    ISBN = {3-642-13561-7, 978-3-642-13561-3},
    Keywords = {hybrid systems},
    Location = {Prague, Czech Republic},
    Pages = {397--408},
    Publisher = {Springer-Verlag},
    Series = {TAMC'10},
    Title = {Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable},
    URL = {http://dx.doi.org/10.1007/978-3-642-13562-0\_36},
    Year = {2010},
    acmid = {2144025},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-13562-0\_36},
    date-added = {2013-11-17 15:35:34 +0000},
    date-modified = {2013-11-17 15:36:05 +0000},
    file-2 = {Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable - Ratschan (0) (0) - a - a - y.pdf},
    numpages = {12},
    doi = {10.1007/978-3-642-13562-0_36}
}

@inproceedings{Ratschan:2010:SVN:2143986.2144025, Address = {Berlin, Heidelberg}, Author = {Ratschan, Stefan}, BookTitle = {Proceedings of the 7th Annual Conference on Theory and Applications of Models of Computation}, File = {Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable - Ratschan (1) (0) - a - a - y.pdf}, ISBN = {3-642-13561-7, 978-3-642-13561-3}, Keywords = {hybrid systems}, Location = {Prague, Czech Republic}, Pages = {397--408}, Publisher = {Springer-Verlag}, Series = {TAMC'10}, Title = {Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable}, URL = {http://dx.doi.org/10.1007/978-3-642-13562-0_36}, Year = {2010}, acmid = {2144025}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-13562-0_36}, date-added = {2013-11-17 15:35:34 +0000}, date-modified = {2013-11-17 15:36:05 +0000}, file-2 = {Safety Verification of Non-linear Hybrid Systems is Quasi-semidecidable - Ratschan (0) (0) - a - a - y.pdf}, numpages = {12}, doi = {10.1007/978-3-642-13562-0_36} }