title: A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
creator: Turner, Edd
creator: Butler, Michael
creator: Leuschel, Michael
subject: Model checking
date: 2010
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/18423/
identifier:   Turner, Edd and Butler, Michael and Leuschel, Michael  (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.  In: ABZ 2010.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/194/