A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Visa andra versioner (3)

Bibliografiska uppgifter
Huvudupphovsmän:	Moffat, N, Goldsmith, M, Roscoe, A
Materialtyp:	Conference item
Publicerad:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Publicerad 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 av Moffat, N, Goldsmith, M, Roscoe, B

Publicerad 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 av Moffat, N, Goldsmith, M, Roscoe, B

Publicerad 2008

Journal article