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
Search Result 1
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
Search Result 2
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
Search Result 3
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
Показати всі версії (4)

Схожі ресурси