| Date of Award | 31 Oct 1997 |
|---|---|
| Original language | English |
| Supervisor | Tom Verhoeff (Supervisor 1) |
A tool for validation and comparison of delay-insensitive specifications
Student thesis: Master