The following pages link to (Q4038702):
Displayed 8 items.
- What good are digital clocks? (Q5204346) (← links)
- (Q5208876) (← links)
- (Q5240155) (← links)
- An Introduction to Timed Automata (Q5496927) (← links)
- Compositional Design of Stochastic Timed Automata (Q5740181) (← 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)