creators_name: Turner, Edd
creators_name: Butler, Michael
creators_name: Leuschel, Michael
type: conference_item
datestamp: 2010-01-27 17:25:49
lastmod: 2010-01-27 17:25:49
metadata_visibility: show
title: A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
ispublished: inpress
subjects: deploy_tooldev_modela
full_text_status: none
pres_type: paper
date: 2010
date_type: completed
event_title: ABZ 2010
event_type: conference
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/18423/
citation:   Turner, Edd and Butler, Michael and Leuschel, Michael  (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking.  In: ABZ 2010.    (In Press)