The following pages link to (Q4038702):
Displayed 10 items.
- An Introduction to Timed Automata (Q5496927) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← links)
- Time abstracted bisimulation: Implicit specifications and decidability (Q5890046) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Discussion on: ``Formal specification method for systems automation'' (Q5971345) (← links)
- Alternation-free weighted mu-calculus: decidability and completeness (Q5971405) (← links)
- Elimination of detached regions in dependency graph verification (Q6049047) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)
- Symbolic state estimation in bounded timed labeled Petri nets (Q6192943) (← links)