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

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

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

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