Items where Author is "Rabehaja, Mananjanahary Tahiry"
![[up]](/style/images/multi_up.png)
Up a levelGroup 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.
Rabehaja, Mananjanahary Tahiry (2014) Algebraic Verification of Probabilistic and Concurrent Systems. PhD thesis, University of Sheffield.