Pages that link to "Item:Q3519496"
From MaRDI portal
The following pages link to On Expressiveness and Complexity in Real-Time Model Checking (Q3519496):
Displaying 11 items.
- Metric temporal logic revisited (Q266865) (← links)
- A logical characterization of timed regular languages (Q728264) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Parameterized model checking of weighted networks (Q2447757) (← links)
- On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (Q3090822) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- Some Recent Results in Metric Temporal Logic (Q3543284) (← links)
- (Q4611376) (← links)
- (Q4972731) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- The Complexity of Flat Freeze LTL (Q5111647) (← links)
