\(\varepsilon\)-transitions in concurrent timed automata
From MaRDI portal
Publication:1029035
DOI10.1016/j.ipl.2003.09.018zbMath1178.68321MaRDI QIDQ1029035
Ruggero Lanotte, Simone Tini, Andrea Maggiolo-Schettini
Publication date: 9 July 2009
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ipl.2003.09.018
68Q45: Formal languages and automata
Cites Work