A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Weitere Versionen anzeigen (3)

Bibliographische Detailangaben
Hauptverfasser:	Moffat, N, Goldsmith, M, Roscoe, A
Format:	Conference item
Veröffentlicht:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Veröffentlicht 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 von Moffat, N, Goldsmith, M, Roscoe, B

Veröffentlicht 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 von Moffat, N, Goldsmith, M, Roscoe, B

Veröffentlicht 2008

Journal article