| Date of Award | 31 Aug 1988 |
|---|---|
| Original language | English |
| Supervisor | C.J. Koomen (Supervisor 1) |
Verification and simulation of the transport system architecture using formal specification techniques
Student thesis: Master