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.

Record type: Thesis (Doctoral)

Text

main.pdf - Version of Record

Download (5MB)

More information

Published date: 2006

Organisations: Electronics & Computer Science

Local EPrints ID: 266029

URI: http://eprints.soton.ac.uk/id/eprint/266029

PURE UUID: 1974aaed-66ff-475f-b7db-28a539a3653a

Date deposited: 02 Jul 2008 21:24

Last modified: 14 Mar 2024 08:19

Author: Ashish Darbari

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.