Symmetry Reduction for STE Model Checking


Darbari, Ashish (2006) Symmetry Reduction for STE Model Checking At Formal Methods in Computer Aided Design (FMCAD).

Download

[img] PDF FMCAD.pdf - Version of Record
Restricted to Registered users only

Download (822kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Formal Methods in Computer Aided Design (FMCAD), 2006-11-01
Organisations: Electronics & Computer Science
ePrint ID: 266027
Date :
Date Event
November 2006Published
Date Deposited: 02 Jul 2008 21:15
Last Modified: 17 Apr 2017 19:10
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266027

Actions (login required)

View Item View Item