IDLVALID
From MaRDI portal
Software:32235
swMATH20417MaRDI QIDQ32235FDOQ32235
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- A survey on temporal logics for specifying and verifying real-time systems
- Interval duration logic: expressiveness and decidability
- On Sampling Abstraction of Continuous Time Logic with Durations
- Model checking duration calculus: a practical approach
- Tools and Algorithms for the Construction and Analysis of Systems
- Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Computer Aided Verification
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for software: IDLVALID
