A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Hiển thị phiên bản (3) khác

Chi tiết về thư mục
Những tác giả chính:	Moffat, N, Goldsmith, M, Roscoe, A
Định dạng:	Conference item
Được phát hành:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Được phát hành 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 Bằng Moffat, N, Goldsmith, M, Roscoe, B

Được phát hành 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 Bằng Moffat, N, Goldsmith, M, Roscoe, B

Được phát hành 2008

Journal article