A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Čájet eará veršuvnnaid (3)

Bibliográfalaš dieđut
Váldodahkkit:	Moffat, N, Goldsmith, M, Roscoe, A
Materiálatiipa:	Conference item
Almmustuhtton:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Almmustuhtton 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 Dahkki Moffat, N, Goldsmith, M, Roscoe, B

Almmustuhtton 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 Dahkki Moffat, N, Goldsmith, M, Roscoe, B

Almmustuhtton 2008

Journal article