Pages that link to "Item:Q5255815"
From MaRDI portal
The following pages link to The benefits of relaxing punctuality (Q5255815):
Displaying 6 items.
- Interval logics and their decision procedures. II: A real-time interval logic (Q672040) (← links)
- A theory of timed automata (Q1322162) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5009457) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
