Pages that link to "Item:Q5255815"
From MaRDI portal
The following pages link to The benefits of relaxing punctuality (Q5255815):
Displayed 11 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)
- A symbolic decision procedure for cryptographic protocols with time stamps (Q2568115) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- (Q5009457) (← links)
- Verification in continuous time by discrete reasoning (Q5096392) (← links)
- What good are digital clocks? (Q5204346) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- The quest for an adequate semantic basis of dense-time metric temporal logic (Q6163886) (← links)