A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Mostra altre versioni (3)

Dettagli Bibliografici
Autori principali:	Moffat, N, Goldsmith, M, Roscoe, A
Natura:	Conference item
Pubblicazione:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Pubblicazione 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 di Moffat, N, Goldsmith, M, Roscoe, B

Pubblicazione 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 di Moffat, N, Goldsmith, M, Roscoe, B

Pubblicazione 2008

Journal article