The following pages link to (Q3318104):
Displayed 7 items.
- Interval logics and their decision procedures. I: An interval logic (Q671639) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Hierarchical verification of asynchronous circuits using temporal logic (Q1070998) (← links)
- Model-checking discrete duration calculus (Q1346770) (← links)
- A decision procedure for propositional projection temporal logic with infinite models (Q2480780) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)