A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

Mostrar otras versiones (3)
Detalles Bibliográficos
Autores principales: Moffat, N, Goldsmith, M, Roscoe, B
Formato: Conference item
Publicado: Springer−Verlag New York Inc 2008
Descripción
Sumario:

Ejemplares similares