Antzeko izenburuak
-
CSP and timewise refinement
nork: Roscoe, A, et al.
Argitaratua: (1991) -
Security management via Z and CSP
nork: Simpson, A, et al.
Argitaratua: (1998) -
On the expressive power of CSP refinement
nork: Roscoe, A
Argitaratua: (2003) -
SAT solving in CSP trace refinement
nork: Palikareva, H, et al.
Argitaratua: (2012) -
SAT−solving in CSP trace refinement
nork: Palikareva, H, et al.
Argitaratua: (2011)