Pages that link to "Item:Q1882783"
From MaRDI portal
The following pages link to Superposition: Composition vs refinement of non-deterministic, action-based systems (Q1882783):
Displaying 4 items.
- Superposition refinement of reactive systems (Q1918935) (← links)
- Superposition: composition vs refinement of non-deterministic, action-based systems (Q2844830) (← links)
- Implementing Superposition in iProver (System Description) (Q5049017) (← links)
- An algebraic semantics of event-based architectures (Q5430140) (← links)