Pages that link to "Item:Q4528041"
From MaRDI portal
The following pages link to A mixed decision method for duration calculus (Q4528041):
Displayed 5 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)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)