A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Mostrar outras versões (3)

Detalhes bibliográficos
Principais autores:	Moffat, N, Goldsmith, M, Roscoe, A
Formato:	Conference item
Publicado em:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Publicado em 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 por Moffat, N, Goldsmith, M, Roscoe, B

Publicado em 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 por Moffat, N, Goldsmith, M, Roscoe, B

Publicado em 2008

Journal article