Barend van den Nieuwelaar

Publication Activity (10 Years)

Years Active: 2004-2006
Publications (10 Years): 0

Publications

Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
Model checker aided design of a controller for a wafer scanner. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager
Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) (2004)