A representative function approach to symmetry exploitation for CSP refinement checking

A representative function approach to symmetry exploitation for CSP refinement checking

Show other versions (3)
Detalles Bibliográficos
Main Authors: Moffat, N, Goldsmith, M, Roscoe, A
Formato: Conference item
Publicado: 2008
Descripción
Summary:

Títulos similares