@inproceedings{ClementeLasotaPiorkowski:CONCUR:2020,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Timed automata, determinisation, deterministic membership problem},
    Author = {Clemente, Lorenzo and Lasota, S{{\l}}awomir and Pi{\'o}rkowski, Rados{{\l}}aw},
    BookTitle = {Proc. of CONCUR'20},
    Editor = {Konnov, Igor and Kov{\'a}cs, Laura},
    File = {Determinisability of One-Clock Timed Automata - LIPIcs-CONCUR-2020-42 - a - r.pdf},
    ISBN = {978-3-95977-160-3},
    ISSN = {1868-8969},
    Pages = {42:1--42:17},
    Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
    Series = {LIPIcs},
    Title = {{Determinisability of One-Clock Timed Automata}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12854},
    Volume = {171},
    Year = {2020},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12854},
    bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.42},
    date-added = {2020-08-27 15:49:42 +0300},
    date-modified = {2020-08-27 15:50:06 +0300},
    urn = {urn:nbn:de:0030-drops-128542},
    doi = {10.4230/LIPIcs.CONCUR.2020.42}
}

@inproceedings{ClementeLasotaPiorkowski:CONCUR:2020, Address = {Dagstuhl, Germany}, Annote = {Keywords: Timed automata, determinisation, deterministic membership problem}, Author = {Clemente, Lorenzo and Lasota, S{{\l}}awomir and Pi{\'o}rkowski, Rados{{\l}}aw}, BookTitle = {Proc. of CONCUR'20}, Editor = {Konnov, Igor and Kov{\'a}cs, Laura}, File = {Determinisability of One-Clock Timed Automata - LIPIcs-CONCUR-2020-42 - a - r.pdf}, ISBN = {978-3-95977-160-3}, ISSN = {1868-8969}, Pages = {42:1--42:17}, Publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik}, Series = {LIPIcs}, Title = {{Determinisability of One-Clock Timed Automata}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/12854}, Volume = {171}, Year = {2020}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2020/12854}, bdsk-url-2 = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.42}, date-added = {2020-08-27 15:49:42 +0300}, date-modified = {2020-08-27 15:50:06 +0300}, urn = {urn:nbn:de:0030-drops-128542}, doi = {10.4230/LIPIcs.CONCUR.2020.42} }