"194","A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking","","http://deploy-eprints.ecs.soton.ac.uk/194/","Turner, Edd and Butler, Michael and Leuschel, Michael","UNSPECIFIED","       <span class=\"person_name\">Turner, Edd</span> and <span class=\"person_name\">Butler, Michael</span> and <span class=\"person_name\">Leuschel, Michael</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/194/\"><em>A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.</em></a>       In: ABZ 2010.         (In Press)   ","","2010"