The following pages link to Alternating timed automata (Q5277799):
Displayed 14 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Generalized Post embedding problems (Q2354596) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Complexity Hierarchies beyond Elementary (Q2828216) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Mixing Lossy and Perfect Fifo Channels (Q3541029) (← links)
- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions (Q3618627) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5009457) (← links)
- On the Modeling of Sequential Reactive Systems by Means of Real Time Automata (Q5060075) (← links)
- (Q5089309) (← links)
- (Q5094137) (← links)
- (Q5376664) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)