Pages that link to "Item:Q1346770"
From MaRDI portal
The following pages link to Model-checking discrete duration calculus (Q1346770):
Displayed 5 items.
- Duration calculus: Logical foundations (Q1377324) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- Interval Duration Logic (Q2842590) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)