Pages that link to "Item:Q1346770"

The following pages link to Model-checking discrete duration calculus (Q1346770):

Displaying 7 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 duration calculus with infinite intervals (Q5055877) (← 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)
• Checking linear duration invariants by linear programming (Q6560369) (← links)