Symmetry Reduction for STE Model Checking Using Structured Models


Darbari, Ashish (2006) Symmetry Reduction for STE Model Checking Using Structured Models University of Oxford, Computing Lab, Doctoral Thesis .

Download

[img] PDF main.pdf - Version of Record
Download (5MB)
Item Type: Thesis (Doctoral)
Organisations: Electronics & Computer Science
ePrint ID: 266029
Date :
Date Event
2006Published
Date Deposited: 02 Jul 2008 21:24
Last Modified: 17 Apr 2017 19:10
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/266029

Actions (login required)

View Item View Item