@inproceedings{10.1007/978-3-642-02959-2_34,
    Address = {Berlin, Heidelberg},
    Author = {Boigelot, Bernard and Brusten, Julien and Leroux, J\'{e}r\^{o}me},
    BookTitle = {Proceedings of the 22nd International Conference on Automated Deduction},
    ISBN = {9783642029585},
    Location = {Montreal, P.Q., Canada},
    Pages = {469--484},
    Publisher = {Springer-Verlag},
    Series = {CADE-22},
    Title = {A Generalization of Semenov's Theorem to Automata over Real Numbers},
    URL = {https://doi.org/10.1007/978-3-642-02959-2\_34},
    Year = {2009},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-642-02959-2\_34},
    date-added = {2020-02-12 11:29:26 +0100},
    date-modified = {2020-02-12 11:29:26 +0100},
    numpages = {16},
    doi = {10.1007/978-3-642-02959-2_34}
}

@inproceedings{10.1007/978-3-642-02959-2_34, Address = {Berlin, Heidelberg}, Author = {Boigelot, Bernard and Brusten, Julien and Leroux, J\'{e}r\^{o}me}, BookTitle = {Proceedings of the 22nd International Conference on Automated Deduction}, ISBN = {9783642029585}, Location = {Montreal, P.Q., Canada}, Pages = {469--484}, Publisher = {Springer-Verlag}, Series = {CADE-22}, Title = {A Generalization of Semenov's Theorem to Automata over Real Numbers}, URL = {https://doi.org/10.1007/978-3-642-02959-2_34}, Year = {2009}, bdsk-url-1 = {https://doi.org/10.1007/978-3-642-02959-2_34}, date-added = {2020-02-12 11:29:26 +0100}, date-modified = {2020-02-12 11:29:26 +0100}, numpages = {16}, doi = {10.1007/978-3-642-02959-2_34} }