Pages that link to "Item:Q2842590"
From MaRDI portal
The following pages link to Interval duration logic: expressiveness and decidability (Q2842590):
Displaying 11 items.
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Duration-constrained regular expressions (Q1882795) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Logical Interpolation and Projection onto State in the Duration Calculus (Q3643270) (← links)
- (Q4904145) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703768) (← links)
- Computer Aided Verification (Q5900677) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)