Pages that link to "Item:Q2266987"
From MaRDI portal
The following pages link to On the expressiveness of TPTL and MTL (Q2266987):
Displayed 4 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Time-Bounded Verification of CTMCs against Real-Time Specifications (Q3172840) (← links)