A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Diğer sürümleri göster (3)

Detaylı Bibliyografya
Asıl Yazarlar:	Moffat, N, Goldsmith, M, Roscoe, A
Materyal Türü:	Conference item
Baskı/Yayın Bilgisi:	2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

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

Baskı/Yayın Bilgisi 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 Yazar: Moffat, N, Goldsmith, M, Roscoe, B

Baskı/Yayın Bilgisi 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 Yazar: Moffat, N, Goldsmith, M, Roscoe, B

Baskı/Yayın Bilgisi 2008

Journal article