Thesis
Title Parameterised verification of randomised distributed systems using state-based models / by Douglas Graham.
Author Graham, Douglas.
Published 2008.

Status Loan Type Location Shelf-mark
 Reference Only  Not for loan  Library Research Annexe  Thesis TA0001  
More Details
Description xi, 228 p. : ill. ; 30 cm.
Note Ph.D. thesis submitted to the Faculty of Information and Mathematical Sciences, University of Glasgow, 2008.
Thesis Thesis (Ph.D.) - University of Glasgow, 2008.
Bibliography Includes bibliographical references.
Note Electronic version available via Enlighten: Theses, http://theses.gla.ac.uk
Library Class Thesis TA0001
Subject Distributed parameter systems -- Theses PhD.
Electronic data processing -- Distributed processing -- Theses PhD.

Permanent link to record