Model Checker Aided Design of a Controller for a Wafer Scanner

Fulltext present in this item

Fulltext: 60423.pdf

Format: PDF

Description: preprint version

Title:	Model Checker Aided Design of a Controller for a Wafer Scanner
Author(s):	Hendriks, M. ; Nieuwelaar, N.J.M. van den; Vaandrager, F.W.
Publication year:	2004
Publisher:	[S.l.] : NIII, University of Nijmegen
Number of Pages:	16 p.
Series:	Technical Report ; NIII-R0430
Publication type:	External research report
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/60423
Display more details
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications

Faculty of Science [25931]
Open Access publications [48027]
Freely accessible full text publications
Electronic publications [74967]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [166213]
Academic output Radboud University