The following pages link to Recursive Timed Automata (Q4931300):
Displaying 10 items.
- Timed recursive state machines: expressiveness and complexity (Q264999) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Context-free timed formalisms: robust automata and linear temporal logics (Q2113377) (← links)
- Reachability relations of timed pushdown automata (Q2221811) (← links)
- A Perfect Class of Context-Sensitive Timed Languages (Q2817374) (← links)
- Nested Timed Automata with Frozen Clocks (Q2945595) (← links)
- (Q3384894) (← links)
- (Q5002803) (← links)
- Towards an Efficient Tree Automata based technique for Timed Systems (Q5111654) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)