The following pages link to IDLVALID (Q32235):
Displaying 10 items.
- Model checking duration calculus: a practical approach (Q939170) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- (Q2771065) (← links)
- Interval duration logic: expressiveness and decidability (Q2842590) (← links)
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders (Q4917076) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703768) (← links)
- On Sampling Abstraction of Continuous Time Logic with Durations (Q5758111) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897790) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899054) (← links)
- Computer Aided Verification (Q5900677) (← links)