FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897789
DOI10.1007/11590156zbMath1140.03303OpenAlexW2484051058MaRDI QIDQ5897789
Patricia Bouyer, Nicolas Markey, Fabrice Chevalier
Publication date: 14 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11590156
Related Items (13)
Metric temporal logic revisited ⋮ A decidable timeout-based extension of linear temporal logic ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ An SMT-based approach to satisfiability checking of MITL ⋮ Unnamed Item ⋮ Interrupt timed automata: verification and expressiveness ⋮ Quantifying conformance using the Skorokhod metric ⋮ Model checking weighted integer reset timed automata ⋮ The compound interest in relaxing punctuality ⋮ Unnamed Item ⋮ On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing ⋮ Model-checking Timed Temporal Logics ⋮ Making Metric Temporal Logic Rational
This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
