Pages that link to "Item:Q4528041"
From MaRDI portal
The following pages link to A mixed decision method for duration calculus (Q4528041):
Displaying 6 items.
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- A general tableau method for propositional interval temporal logics: theory and implementation (Q2506829) (← links)
- Decidability of a hybrid duration calculus (Q2867952) (← links)
- STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES (Q5440940) (← 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)