Return to search

Parameterised verification of randomised distributed systems using state-based models

Thesis (Ph.D.) - University of Glasgow, 2008. / Ph.D. thesis submitted to the Faculty of Information and Mathematical Sciences, University of Glasgow, 2008. Includes bibliographical references. Print version also available.

  1. http://theses.gla.ac.uk/95/
Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/244461024
Date January 2008
CreatorsGraham, Douglas.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to e-thesis

Page generated in 0.0025 seconds