Henderikus (Rick) van Rein
Original record- Institution
- Universiteit Twente
- Year
- 2002
- Country
- Netherlands
- MGP identifier
- 88506
Dissertation: Extending Model Checking to Object Process Validation
Advisors 2
- Petrus (Peter) Maria Gerardus ApersVrije Universiteit Amsterdam · 1982
- Martinus (Maarten) Maria FokkingaUniversiteit Twente · 1992
Students 0
No students recorded in this snapshot.