A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Показать другие версии (3)

Библиографические подробности
Главные авторы:	Moffat, N, Goldsmith, M, Roscoe, A
Формат:	Conference item
Опубликовано:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Опубликовано 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 по Moffat, N, Goldsmith, M, Roscoe, B

Опубликовано 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 по Moffat, N, Goldsmith, M, Roscoe, B

Опубликовано 2008

Journal article