|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | preprint version | 236.24 kB | Adobe PDF | View/Open |
|
| Title: | Model Checker Aided Design of a Controller for a Wafer Scanner |
| Author(s): | Hendriks, M. (217539319)
Nieuwelaar, N.J.M. van den
Vaandrager, F.W. (07206806X) |
| Publication year: | 2006 |
| Document type: | Article / Letter to editor |
| Journal: | International Journal on Software Tools for Technology Transfer |
| ISSN: | 1433-2779 |
| Volume: | vol. 8 |
| Issue: | iss. 6 |
| Start page: | p. 633 |
| End page: | p. 647 |
| Subject: | Informatics for Technical Applications |
| Organization: | Informatics for Technical Applications |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/35654
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
