| Date of Award | 31 Jan 2006 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) & Alexander Serebrenik (Supervisor 2) |
An automated verification approach for scheduling in complex manufacturing machines
Student thesis: Master