REDLIB
From MaRDI portal
Software:32987
swMATH21175MaRDI QIDQ32987FDOQ32987
Author name not available (Why is that?)
Cited In (6)
- Coarse Abstractions Make Zeno Behaviours Difficult to Detect
- A survey of timed automata for the development of real-time systems
- Zone-based verification of timed automata: extrapolations, simulations and what next?
- The Power of Proofs: New Algorithms for Timed Automata Model Checking
- Coarse abstractions make Zeno behaviours difficult to detect
- A menagerie of timed automata
This page was built for software: REDLIB
