Cited in
(18)- A practical approach to model checking duration calculus using Presburger arithmetic
- scientific article; zbMATH DE number 1705170 (Why is no real title available?)
- A survey on temporal logics for specifying and verifying real-time systems
- Interval duration logic: expressiveness and decidability
- Specification and verification of multimedia synchronization in duration calculus
- Verification and enforcement of access control policies
- Axiomatisation and decidability of multi-dimensional Duration Calculus
- MONA
- UniForM
- IDLVALID
- Modechart
- Decidability of a hybrid duration calculus
- Tools and Algorithms for the Construction and Analysis of Systems
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- Digitizing interval duration logic.
- Finding extremal models of discrete duration calculus formulae using symbolic search
- Bounded model-checking of discrete duration calculus
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This page was built for software: DCVALID
