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