Pages that link to "Item:Q1161289"
From MaRDI portal
The following pages link to A unified approach for studying the properties of transition systems (Q1161289):
Displaying 4 items.
- Modal logics for communicating systems (Q578896) (← links)
- A linear algorithm to solve fixed-point equations on transition systems (Q1115196) (← links)
- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR (Q3512442) (← links)
- Symbolic computation in automated program reasoning (Q6174522) (← links)