A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Show other versions (3)

מידע ביבליוגרפי
Main Authors:	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