Dennis René Dams
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1996
- Country
- Netherlands
- MGP identifier
- 153954
Dissertation: Abstract interpretation and partition refinement for model checking
Mathematics Subject Classification: 68—Computer science
Advisors 3
- Werner DammInstitution not recorded
- Rob Tristan GerthUniversiteit Utrecht · 1989
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Dragan Bosnacki | Technische Universiteit Eindhoven | 2001 | 1 |