Cited in
(12)- Tools and Algorithms for the Construction and Analysis of Systems
- A survey on temporal logics for specifying and verifying real-time systems
- On Sampling Abstraction of Continuous Time Logic with Durations
- scientific article; zbMATH DE number 1705170 (Why is no real title available?)
- Interval duration logic: expressiveness and decidability
- Digitizing interval duration logic.
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- DCVALID
- Modechart
- Hybrid metric propositional neighborhood logics with interval length binders
- Tools and Algorithms for the Construction and Analysis of Systems
- Model checking duration calculus: a practical approach
This page was built for software: IDLVALID
