Turner, Edd, Butler, Michael and Leuschel, Michael (2010) A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking. ABZ 2010, Orford, Canada. (In Press)
Record type:
Conference or Workshop Item
(Paper)
More information
Accepted/In Press date: 2010
Additional Information:
Event Dates: February 2010
Venue - Dates:
ABZ 2010, Orford, Canada, 2010-02-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 268423
URI: http://eprints.soton.ac.uk/id/eprint/268423
PURE UUID: be041d2a-e69d-4d4d-8a6e-119daa4b1a50
Catalogue record
Date deposited: 27 Jan 2010 17:06
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Edd Turner
Author:
Michael Butler
Author:
Michael Leuschel
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.