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)

অনুরূপ উপাদানগুলি