@article{HerbreteauSrivathsanWalukiewicz,
    Author = {Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor},
    File = {Efficient emptiness check for timed Büchi automata - Herbreteau, Srivathsan, Walukiewicz (0) (1) - a - a - j.pdf},
    Journal = {Formal Methods in System Design},
    Keywords = {timed automata},
    Number = {2},
    Pages = {122--146},
    Title = {Efficient emptiness check for timed B{\"u}chi automata},
    Volume = {40},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/90515727l1825jrx/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10703-011-0133-1},
    date-added = {2012-05-01 21:51:16 +0200},
    date-modified = {2012-05-01 19:51:21 +0000},
    doi = {10.1007/s10703-011-0133-1}
}

@article{HerbreteauSrivathsanWalukiewicz, Author = {Herbreteau, Fr{\'e}d{\'e}ric and Srivathsan, B. and Walukiewicz, Igor}, File = {Efficient emptiness check for timed Büchi automata - Herbreteau, Srivathsan, Walukiewicz (0) (1) - a - a - j.pdf}, Journal = {Formal Methods in System Design}, Keywords = {timed automata}, Number = {2}, Pages = {122--146}, Title = {Efficient emptiness check for timed B{\"u}chi automata}, Volume = {40}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/90515727l1825jrx/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10703-011-0133-1}, date-added = {2012-05-01 21:51:16 +0200}, date-modified = {2012-05-01 19:51:21 +0000}, doi = {10.1007/s10703-011-0133-1} }