IDLVALID

swMATH20417MaRDI QIDQ32235FDOQ32235

Author name not available (Why is that?)

Official website: http://www.tcs.tifr.res.in/~pandya/idlvalid.html

Cited In (12)

• 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
• DCVALID
• Modechart
• 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