Mark Timmer
Original record- Institution
- Universiteit Twente
- Year
- 2013
- Country
- Netherlands
- MGP identifier
- 203319
Dissertation: Efficient Modelling, Generation and Analysis of Markov Automata
Advisors 3
- Jan (Jaco) Cornelius van de PolUniversiteit Utrecht · 1996
- Joost-Pieter KatoenUniversiteit Twente · 1996
- Mariëlle Ida Antoinette StoelingaKatholieke Universiteit Nijmegen · 2002
Students 0
No students recorded in this snapshot.