Geert L.J.M. Janssen
Original record- Institution
- Technische Universiteit Eindhoven
- Year
- 1999
- Country
- Netherlands
- MGP identifier
- 296921
Dissertation: Logics for digital circuit verification: Theory, algorithms, and application
Advisors 3
- Koen van EijkTechnische Universiteit Eindhoven · 1997
- Jochen A. G. JessKarlsruher Institut für Technologie (KIT) · 1962
- Josephus Cornelis Maria BaetenUniversity of Minnesota - Twin Cities · 1985
Students 0
No students recorded in this snapshot.