A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Nick Moffat‚ Michael Goldsmith and Bill Roscoe
Book Title
ICFEM
ISBN
978−3−540−88194−0
Journal
In Proceedings of ICFEM 2008‚ Kita−Kyushu City‚ Japan‚ October 2008
Publisher
Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science
Volume
5256
Year
2008