Pages that link to "Item:Q3060195"
From MaRDI portal
The following pages link to Axiomatic semantics of projection temporal logic programs (Q3060195):
Displayed 4 items.
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- A structural transformation from p-\(\pi\) to MSVL (Q2354315) (← links)