Items where Author is "Rabehaja, Mananjanahary Tahiry"
Up a level |
Group by: Item Type | No Grouping
Number of items: 1.
Rabehaja, Mananjanahary Tahiry (2014) Algebraic Verification of Probabilistic and Concurrent Systems. PhD thesis, University of Sheffield.