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
- Hybrid metric propositional neighborhood logics with interval length binders
- 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
- Digitizing interval duration logic.
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for software: IDLVALID
