A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

अन्य संस्करण दिखाएं (3)
ग्रंथसूची विवरण
मुख्य लेखकों: Moffat, N, Goldsmith, M, Roscoe, A
स्वरूप: Conference item
प्रकाशित: 2008
Search Result 1
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking द्वारा Moffat, N, Goldsmith, M, Roscoe, B

प्रकाशित 2008
Conference item
Search Result 2
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking द्वारा Moffat, N, Goldsmith, M, Roscoe, B

प्रकाशित 2008
Conference item
Search Result 3
A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking द्वारा Moffat, N, Goldsmith, M, Roscoe, B

प्रकाशित 2008
Journal article
सभी संस्करण दिखाएं (4)

समान संसाधन