| Date of Award | 30 Jun 2013 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) & Rudolf G.M. Huisman (Supervisor 2) |
Cite this
- Standard
Vehicle function correctness: using mCRL2 to compare higher and lower level models
Student thesis: Master