The following pages link to The expressive power of clocks (Q4645197):
Displaying 7 items.
- An algebraic approach to data languages and timed languages (Q1398367) (← links)
- Updatable timed automata (Q1885906) (← links)
- Classes of timed automata and the undecidability of universality (Q2842589) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- (Q3993559) (← links)
- What’s Decidable About Parametric Timed Automata? (Q4686606) (← links)
- History-deterministic timed automata (Q6635511) (← links)
