|
[Dou08]
Douglas Graham.
Parameterised Verification of Randomised Distributed Systems using State-based Models.
Ph.D. thesis, University of Glasgow.
2008.
[bib]
http://theses.gla.ac.uk/95/01/2008GrahamPhD.pdf
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://theses.gla.ac.uk/95/01/2008GrahamPhD.pdf
|