Metric temporal logic with durations
From MaRDI portal
Publication:673880
DOI10.1016/0304-3975(94)00151-8zbMath0874.68270OpenAlexW2049387852MaRDI QIDQ673880
Yassine Lakhneche, J. J. M. Hooman
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00151-8
Related Items (1)
Cites Work
- Specification and compositional verification of real-time systems
- Specifying message passing and time-critical systems with temporal logic
- Hybrid systems
- Defining liveness
- A calculus of durations
- The Weak Byzantine Generals Problem
- A Modal Logic for Chopping Intervals
- Constraint logic programming for reasoning about discrete event processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Metric temporal logic with durations
