Mathias Ruggaard Pedersen
Original record- Institution
- Aalborg Universitet
- Year
- 2018
- Country
- Denmark
- MGP identifier
- 301894
Dissertation: Behavioural Preorders on Stochastic Systems: Logical, Topological, and Computational Aspects
Advisors 2
- Kim Guldstrand LarsenThe University of Edinburgh · 1986
- Radu MardareUniversità degli Studi di Trento · 2006
Students 0
No students recorded in this snapshot.