Algebraic Verification of Probabilistic and Concurrent Systems

Rabehaja, Mananjanahary Tahiry (2014) Algebraic Verification of Probabilistic and Concurrent Systems. PhD thesis, University of Sheffield.

Abstract

Metadata

Supervisors: Georg, Struth and Annabelle, McIver
Awarding institution: University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Computer Science (Sheffield)
The University of Sheffield > Faculty of Science (Sheffield) > Computer Science (Sheffield)
Identification Number/EthosID: uk.bl.ethos.631452
Depositing User: Mr. Mananjanahary Tahiry Rabehaja
Date Deposited: 11 Dec 2014 16:00
Last Modified: 03 Oct 2016 11:18

Download

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.