Pages that link to "Item:Q2993207"
From MaRDI portal
The following pages link to Model checking CSP based on ASP and critical-trace model of CSP (Q2993207):
Displaying 5 items.
- Assumption-commitment support for CSP model checking (Q1040778) (← links)
- Software model checking based on game semantics and CSP (Q2848417) (← links)
- Inputs and Outputs in CSP (Q5121275) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709376) (← links)
- Integrated Formal Methods (Q5901612) (← links)