Նմանատիպ նյութեր
-
CSP and timewise refinement
: Roscoe, A, և այլն
Հրապարակվել է: (1991) -
Security management via Z and CSP
: Simpson, A, և այլն
Հրապարակվել է: (1998) -
On the expressive power of CSP refinement
: Roscoe, A
Հրապարակվել է: (2003) -
SAT solving in CSP trace refinement
: Palikareva, H, և այլն
Հրապարակվել է: (2012) -
SAT−solving in CSP trace refinement
: Palikareva, H, և այլն
Հրապարակվել է: (2011)