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