Determinisability of register and timed automata
Authors: Lorenzo Clemente ; Sławomir Lasota ; Radosław Piórkowski
Published in: Logical Methods in Computer Science(tom: 18(2), strony: 9:1-9:37), Wydawca:Logical Methods in Computer Science e.V.
Publication type: article
Subject areas: Computer Science; Mathematics
SJR best quartile: Q2