IDLVALID
From MaRDI portal
Software:32235
No author found.
Related Items (10)
Tools and Algorithms for the Construction and Analysis of Systems ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ Unnamed Item ⋮ Model checking duration calculus: a practical approach ⋮ Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders ⋮ On Sampling Abstraction of Continuous Time Logic with Durations ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ Computer Aided Verification ⋮ FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science ⋮ Interval Duration Logic
This page was built for software: IDLVALID
