Recursive Timed Automata

DOI10.1007/978-3-642-15643-4_23zbMath1305.68115OpenAlexW1880663844MaRDI QIDQ4931300

Ashutosh Trivedi, Dominik Wojtczak

Publication date: 4 October 2010

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15643-4_23

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (10)

Timed recursive state machines: expressiveness and complexity ⋮ Nested Timed Automata with Frozen Clocks ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Reachability relations of timed pushdown automata ⋮ Timed Basic Parallel Processes ⋮ A Perfect Class of Context-Sensitive Timed Languages ⋮ Towards an Efficient Tree Automata based technique for Timed Systems ⋮ Context-free timed formalisms: robust automata and linear temporal logics

This page was built for publication: Recursive Timed Automata