The following pages link to (Q3482822):
Displayed 9 items.
- Metric temporal logic with durations (Q673880) (← links)
- On fairness and randomness (Q840697) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Completing the temporal picture (Q1176248) (← links)
- Verification of distributed programs using representative interleaving sequences (Q1200917) (← links)
- Proving partial order properties (Q1322161) (← links)
- Characterization of temporal property classes (Q5204340) (← links)
- Adding partial orders to linear temporal logic (Q6044113) (← links)
- A first-order logic characterization of safety and co-safety languages (Q6135783) (← links)