The following pages link to (Q3318104):
Displayed 10 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)
- Prefix and Projection onto State in Duration Calculus (Q2842576) (← links)
- Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic (Q2864394) (← links)
- Decidability of a Hybrid Duration Calculus (Q2867952) (← links)
- A real-time interval logic and its decision procedure (Q5955786) (← links)