CSP and timewise refinement

समान संसाधन

• The automated verification of timewise refinement
  द्वारा: Roscoe, A
  प्रकाशित: (2013)
• 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)
• SAT-solving in CSP trace refinement
  द्वारा: Palikareva, H, और अन्य
  प्रकाशित: (2012)