@article{HerbreteauSrivathsanWalukiewicz:IC:2016,
    Author = {Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor},
    File = {1-s2.0-S0890540116300438-main (0) - a - a - p.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {Timed automata, Reachability problem, Non-convex abstractions},
    Pages = {67--90},
    Title = {Better abstractions for timed automata},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540116300438},
    Volume = {251},
    Year = {2016},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540116300438},
    bdsk-url-2 = {https://doi.org/10.1016/j.ic.2016.07.004},
    date-added = {2018-03-13 10:13:15 +0000},
    date-modified = {2018-03-13 10:13:58 +0000},
    doi = {10.1016/j.ic.2016.07.004}
}

@article{HerbreteauSrivathsanWalukiewicz:IC:2016, Author = {Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor}, File = {1-s2.0-S0890540116300438-main (0) - a - a - p.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {Timed automata, Reachability problem, Non-convex abstractions}, Pages = {67--90}, Title = {Better abstractions for timed automata}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540116300438}, Volume = {251}, Year = {2016}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540116300438}, bdsk-url-2 = {https://doi.org/10.1016/j.ic.2016.07.004}, date-added = {2018-03-13 10:13:15 +0000}, date-modified = {2018-03-13 10:13:58 +0000}, doi = {10.1016/j.ic.2016.07.004} }