A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Toon andere (3) versies

Bibliografische gegevens
Hoofdauteurs:	Moffat, N, Goldsmith, M, Roscoe, A
Formaat:	Conference item
Gepubliceerd in:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking door Moffat, N, Goldsmith, M, Roscoe, B

Gepubliceerd in 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 door Moffat, N, Goldsmith, M, Roscoe, B

Gepubliceerd in 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 door Moffat, N, Goldsmith, M, Roscoe, B

Gepubliceerd in 2008

Journal article