| Date of Award | 31 Jan 2008 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1), E. Hendriksen (Supervisor 2) & Gerrit J. Tretmans (Supervisor 2) |
Cite this
- Standard
Feasibility of formal model checking in the Vitatron environment
Student thesis: Master