Barend van den Nieuwelaar

2006
2	EE	Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager: Model checker aided design of a controller for a wafer scanner. STTT 8(6): 633-647 (2006)
2004
1		Martijn Hendriks, Barend van den Nieuwelaar, Frits W. Vaandrager: Model Checker Aided Design of a Controller for a Wafer Scanner. ISoLA (Preliminary proceedings) 2004: 201-208

Coauthor Index

1	Martijn Hendriks	[1] [2]
2	Frits W. Vaandrager	[1] [2]