Pages that link to "Item:Q5758112"
From MaRDI portal
The following pages link to Deciding an Interval Logic with Accumulated Durations (Q5758112):
Displaying 6 items.
- Model checking duration calculus: a practical approach (Q939170) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata (Q3648829) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)