Dragan Bosnacki
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 2001
- Country
- Netherlands
- MGP identifier
- 153955
Dissertation: Enhancing State Space Reduction Techniques for Model Checking
Advisors 3
- Mario StevensInstitution not recorded
- Dennis René DamsTechnische Universiteit Eindhoven · 1996
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Dan Zhang | Technische Universiteit Eindhoven | 2018 | 0 |