Pages that link to "Item:Q5703768"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703768):
Displaying 5 items.
- 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)
- Specification and optimal reactive synthesis of run-time enforcement shields (Q2672248) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Computer Aided Verification (Q5900677) (← links)