A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Zobrazit další vydání (3)

Podrobná bibliografie
Hlavní autoři:	Moffat, N, Goldsmith, M, Roscoe, A
Médium:	Conference item
Vydáno:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Vydáno 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 Autor Moffat, N, Goldsmith, M, Roscoe, B

Vydáno 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 Autor Moffat, N, Goldsmith, M, Roscoe, B

Vydáno 2008

Journal article