Pages that link to "Item:Q4818935"
From MaRDI portal
The following pages link to A domain equation for refinement of partial systems (Q4818935):
Displaying 4 items.
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- Towards a descriptive set theory for domain-like structures (Q854185) (← links)
- On model checking multiple hybrid views (Q947781) (← links)
- Multi-valued Verification of Strategic Ability (Q4988961) (← links)
