On Termination and Boundedness of Nested Updatable Timed Automata

DOI10.1007/978-3-319-57708-1_2zbMath1461.68108OpenAlexW2605667388MaRDI QIDQ4989016

Xiuting Tao, Yuwei Wang, Guo Qiang Li

Publication date: 20 May 2021

Published in: Structured Object-Oriented Formal Language and Method (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57708-1_2

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: On Termination and Boundedness of Nested Updatable Timed Automata