Ruurd Kuiper
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1989
- Country
- Netherlands
- MGP identifier
- 73242
Dissertation: Combining Linear Time Temporal Logic Descriptions of Concurrent Computations
Advisors 2
- Howard BarringerUniversity of Manchester · 1978
- Willem-Paul de RoeverVrije Universiteit Amsterdam · 1974
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Ronald Middelkoop | Technische Universiteit Eindhoven | 2011 | 0 |
| Louis Clemens Martinus van Gool | Technische Universiteit Eindhoven | 2006 | 0 |
| Dan Zhang | Technische Universiteit Eindhoven | 2018 | 0 |