Pages that link to "Item:Q2576578"
From MaRDI portal
The following pages link to Refinement is complete for implementations (Q2576578):
Displaying 7 items.
- Towards a descriptive set theory for domain-like structures (Q854185) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Finite and infinite implementation of transition systems (Q1758157) (← links)
- Topological analysis of refinement (Q2863878) (← links)
- Model Refinement Using Bisimulation Quotients (Q3067468) (← links)
- Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)
- Recent Results on Implementation with Complete Information (Q5111111) (← links)