Anna Victorovna Kolesnichenko
Original record- Institution
- Universiteit Twente
- Year
- 2014
- Country
- Netherlands
- MGP identifier
- 299806
Dissertation: Model-checking mean-field models: Algorithms & applications
Advisors 3
- Anne RemkeUniversiteit Twente · 2008
- Pieter-Tjerk de BoerUniversiteit Twente · 2000
- Boudewijn Remigius Heinrich Maria HaverkortUniversiteit Twente · 1991
Students 0
No students recorded in this snapshot.