Author

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

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

OK