Thesis
Title Automatic techniques for detecting and exploiting symmetry in model checking / Alastair F. Donaldson.
Author Donaldson, Alastair F.
Published 2007.

Status Loan Type Location Shelf-mark
 Reference Only  Not for loan  Level 12 Spec Coll  Thesis 14762  
 NOT KNOWN  Not known  Computing Science DL  Thesis 14762 c.2
More Details
Description 281 p. : ill. (some col.) ; 30 cm.
Note Ph.D. thesis submitted to the Department of Computing Science, University of Glasgow, 2007.
Thesis Thesis (Ph.D.) -- University of Glasgow, 2007.
Bibliography Includes bibliographical references (p. 264-275) and index.
Note Electronic version also available via Enlighten: Theses, http://theses.gla.ac.uk
Library Class Thesis 14762
Subject Computer software -- Testing -- Theses PhD.
SPIN (Computer file) -- Theses PhD.

Permanent link to record