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)

Bibliographic Details
Main Authors:	Moffat, N, Goldsmith, M, Roscoe, B
Format:	Conference item
Published:	Springer−Verlag New York Inc 2008