Darbari, Ashish (2006) Symmetry Reduction for STE Model Checking. Formal Methods in Computer Aided Design (FMCAD).
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: November 2006
Venue - Dates:
Formal Methods in Computer Aided Design (FMCAD), 2006-11-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 266027
URI: http://eprints.soton.ac.uk/id/eprint/266027
PURE UUID: a448a0be-3e5a-4ed4-9c74-cb9d14f8ec1d
Catalogue record
Date deposited: 02 Jul 2008 21:15
Last modified: 14 Mar 2024 08:19
Export record
Contributors
Author:
Ashish Darbari
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.