The following pages link to Interval Duration Logic (Q2842590):
Displayed 4 items.
- Model checking duration calculus: a practical approach (Q939170) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)