The following pages link to (Q4207573):
Displaying 11 items.
- A calculus of durations (Q1183485) (← links)
- Formal timing analysis of distributed systems (Q1193762) (← links)
- Models for reactivity (Q1323323) (← links)
- A logic for reasoning about time and reliability (Q1343864) (← links)
- The power of the ``always'' operator in first-order temporal logic (Q1350527) (← links)
- Verification of reactive systems using temporal logic with clocks (Q1575841) (← links)
- Compositional verification of real-time systems with explicit clock temporal logic (Q1918934) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- Suitability of the propositional temporal logic to express properties of real-time systems (Q5096770) (← links)
- What good are digital clocks? (Q5204346) (← links)
- Compositional priority specification in real-time distributed systems. (Q5955750) (← links)
