@inproceedings{ClementeLasota:ICALP:2018,
    Address = {Dagstuhl, Germany},
    Author = {Clemente, Lorenzo and Lasota, S{{\l}}awomir},
    BookTitle = {Proc. of ICALP'18},
    Editor = {Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, D\'aniel and Sannella, Donald},
    File = {main-1 (0) - a - a - m.pdf},
    Keywords = {timed automata and timed pushdown automata and binary reachability relation},
    Pages = {118:1--118:14},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    Title = {Binary reachability of timed pushdown automata via quantifier elimination},
    Volume = {107},
    Year = {2018},
    bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.ICALP.2018.118},
    date-added = {2018-03-12 18:08:00 +0000},
    date-modified = {2018-09-07 10:17:24 +0000},
    doi = {10.4230/LIPIcs.ICALP.2018.118}
}

@inproceedings{ClementeLasota:ICALP:2018, Address = {Dagstuhl, Germany}, Author = {Clemente, Lorenzo and Lasota, S{{\l}}awomir}, BookTitle = {Proc. of ICALP'18}, Editor = {Chatzigiannakis, Ioannis and Kaklamanis, Christos and Marx, D\'aniel and Sannella, Donald}, File = {main-1 (0) - a - a - m.pdf}, Keywords = {timed automata and timed pushdown automata and binary reachability relation}, Pages = {118:1--118:14}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, Title = {Binary reachability of timed pushdown automata via quantifier elimination}, Volume = {107}, Year = {2018}, bdsk-url-1 = {https://doi.org/10.4230/LIPIcs.ICALP.2018.118}, date-added = {2018-03-12 18:08:00 +0000}, date-modified = {2018-09-07 10:17:24 +0000}, doi = {10.4230/LIPIcs.ICALP.2018.118} }