@article{ClementeLasotaPiorkowski:LMCS:2022,
    Author = {Clemente, Lorenzo and Lasota, S{{\l}}awomir and Pi{\'o}rkowski, Rados{{\l}}aw},
    File = {Determinisability of register and timed automata - 2104.03690.pdf},
    Journal = {{Logical Methods in Computer Science}},
    Keywords = {Computer Science - Formal Languages and Automata Theory},
    Month = {May},
    Title = {{Determinisability of register and timed automata}},
    URL = {https://lmcs.episciences.org/9441},
    Volume = {{Volume 18, Issue 2}},
    Year = {2022},
    bdsk-url-1 = {https://lmcs.episciences.org/9441},
    bdsk-url-2 = {https://doi.org/10.46298/lmcs-18(2:9)2022},
    date-added = {2023-05-24 12:29:02 +0200},
    date-modified = {2023-05-24 12:29:18 +0200},
    doi = {10.46298/lmcs-18(2:9)2022}
}

@article{ClementeLasotaPiorkowski:LMCS:2022, Author = {Clemente, Lorenzo and Lasota, S{{\l}}awomir and Pi{\'o}rkowski, Rados{{\l}}aw}, File = {Determinisability of register and timed automata - 2104.03690.pdf}, Journal = {{Logical Methods in Computer Science}}, Keywords = {Computer Science - Formal Languages and Automata Theory}, Month = {May}, Title = {{Determinisability of register and timed automata}}, URL = {https://lmcs.episciences.org/9441}, Volume = {{Volume 18, Issue 2}}, Year = {2022}, bdsk-url-1 = {https://lmcs.episciences.org/9441}, bdsk-url-2 = {https://doi.org/10.46298/lmcs-18(2:9)2022}, date-added = {2023-05-24 12:29:02 +0200}, date-modified = {2023-05-24 12:29:18 +0200}, doi = {10.46298/lmcs-18(2:9)2022} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge