Pages that link to "Item:Q5897789"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897789):
Displaying 13 items.
- Metric temporal logic revisited (Q266865) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Model checking weighted integer reset timed automata (Q537908) (← links)
- An SMT-based approach to satisfiability checking of MITL (Q897649) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5009457) (← links)
- Making Metric Temporal Logic Rational (Q5111294) (← links)
- (Q5376664) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
