Title: Determinisability of register and timed automata
Authors: Lorenzo Clemente ; Sławomir Lasota ; Radosław Piórkowski
Journal: Logical Methods in Computer Science(tom: 18(2), strony: 9:1-9:37), Wydawca:Logical Methods in Computer Science e.V.
Publication type: article
DOI: 10.46298/LMCS-18(2:9)2022