Pages that link to "Item:Q1918935"
From MaRDI portal
The following pages link to Superposition refinement of reactive systems (Q1918935):
Displaying 5 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Kaisa Sere: in memoriam (Q736909) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
