Title: Determinizability of one-clock timed automata
Authors: L. Clemente, S. Lasota, R. Piórkowski
Journal: Proc. CONCUR 2020(tom: CONCUR 2020, strony: 42:1-42:17), Wydawca:Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH
Publication type: conference