Koen van Eijk
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1997
- Country
- Netherlands
- MGP identifier
- 296161
Dissertation: Formal methods for the verification of digital circuits
Advisors 2
- Jochen A. G. JessKarlsruher Institut für Technologie (KIT) · 1962
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Geert L.J.M. Janssen | Technische Universiteit Eindhoven | 1999 | 0 |
| Pieter J. Schoenmakers | Technische Universiteit Eindhoven | 1999 | 0 |
| Luiz Cláudio Villar dos Santos | Technische Universiteit Eindhoven | 1998 | 0 |