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