@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