The following pages link to Axioms for real-time logics (Q5958467):
Displaying 7 items.
- A tool for deciding the satisfiability of continuous-time metric temporal logic (Q262137) (← links)
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- A contract-based approach to adaptivity (Q541295) (← links)
- Quantitative temporal logics over the reals: PSpace and below (Q868030) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Model-checking Timed Temporal Logics (Q4982129) (← links)
- Distributed Event Clock Automata (Q5200069) (← links)
