FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5897789
DOI10.1007/11590156zbMath1140.03303MaRDI 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
03B44: Temporal logic
Related Items
A decidable timeout-based extension of linear temporal logic, Unnamed Item, Model-checking Timed Temporal Logics, Unnamed Item, Making Metric Temporal Logic Rational, Quantifying conformance using the Skorokhod metric, Metric temporal logic revisited, Interrupt timed automata: verification and expressiveness, Model checking weighted integer reset timed automata, An SMT-based approach to satisfiability checking of MITL, The compound interest in relaxing punctuality, A survey on temporal logics for specifying and verifying real-time systems, On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing