Pages that link to "Item:Q805251"
From MaRDI portal
The following pages link to The existence of refinement mappings (Q805251):
Displaying 4 items.
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Verification of schedulability for real-time programs (Q1904642) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
