The following pages link to (Q4207573):
Displaying 7 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)
