The following pages link to REDLIB (Q32987):
Displaying 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Coarse Abstractions Make Zeno Behaviours Difficult to Detect (Q3090824) (← links)
- Coarse abstractions make Zeno behaviours difficult to detect (Q4913769) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- The Power of Proofs: New Algorithms for Timed Automata Model Checking (Q5500559) (← links)