Author

Profile picture
Adriaan De Groot
Computing Science Institute, University of Nijmegen
University of Nijmegen, Netherlands
1 article by this author
Sort by:
Research Article
Analyzing the Light Control System with PVS
Adriaan De Groot, Jozef Hooman
10.3217/jucs-006-07-0621
 28-07-2000
 Unique: 320 | Total: 358  | Access Period:
 621-649
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK