Durations for Truly-Concurrent Transitions
No abstract available.
Related papers
- Truly On-the-Fly LTL Model Checking TACAS 2005
- Modeling Concurrency with Geometry POPL 1991
- Digitizing Interval Duration Logic CAV 2003
- Deciding an Interval Logic with Accumulated Durations TACAS 2007
- From Duration Calculus To Linear Hybrid Automata CAV 1995
- Bounded Validity Checking of Interval Duration Logic TACAS 2005
- Probabilistic Duration Automata for Analyzing Real-Time Systems TACAS 1996
- On Sampling Abstraction of Continuous Time Logic with Durations TACAS 2007