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