A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Nick Moffat‚ Michael Goldsmith and Bill Roscoe
Book Title
Formal methods and software engineering: 10th International Conference on Formal Engineering Methods‚ ICFEM 2008‚ Kitakyushu−City‚ Japan‚ October 27−31‚ 2008: proceedings
Organisation
Springer−Verlag New York Inc
Pages
258–277
Year
2008