@inproceedings{Finkel:FORMATS:2006,
    Address = {Berlin, Heidelberg},
    Author = {Finkel, Olivier},
    BookTitle = {Proc. of FORMATS'06},
    File = {Undecidable problems about timed automata - Finkel (0) (0) - a - a - b.pdf},
    ISBN = {3-540-45026-2, 978-3-540-45026-9},
    Keywords = {timed automata},
    Location = {Paris, France},
    Pages = {187--199},
    Publisher = {Springer-Verlag},
    Title = {Undecidable problems about timed automata},
    URL = {http://dx.doi.org/10.1007/11867340\_14},
    Year = {2006},
    acmid = {2111591},
    bdsk-url-1 = {http://dx.doi.org/10.1007/11867340\_14},
    date-added = {2012-07-11 13:52:09 +0200},
    date-modified = {2020-05-07 07:29:35 +0200},
    numpages = {13},
    doi = {10.1007/11867340_14}
}

@inproceedings{Finkel:FORMATS:2006, Address = {Berlin, Heidelberg}, Author = {Finkel, Olivier}, BookTitle = {Proc. of FORMATS'06}, File = {Undecidable problems about timed automata - Finkel (0) (0) - a - a - b.pdf}, ISBN = {3-540-45026-2, 978-3-540-45026-9}, Keywords = {timed automata}, Location = {Paris, France}, Pages = {187--199}, Publisher = {Springer-Verlag}, Title = {Undecidable problems about timed automata}, URL = {http://dx.doi.org/10.1007/11867340_14}, Year = {2006}, acmid = {2111591}, bdsk-url-1 = {http://dx.doi.org/10.1007/11867340_14}, date-added = {2012-07-11 13:52:09 +0200}, date-modified = {2020-05-07 07:29:35 +0200}, numpages = {13}, doi = {10.1007/11867340_14} }