A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Näytä muut versiot (3)

Bibliografiset tiedot
Päätekijät:	Moffat, N, Goldsmith, M, Roscoe, A
Aineistotyyppi:	Conference item
Julkaistu:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Julkaistu 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 Tekijä Moffat, N, Goldsmith, M, Roscoe, B

Julkaistu 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 Tekijä Moffat, N, Goldsmith, M, Roscoe, B

Julkaistu 2008

Journal article