| Date of Award | 29 Apr 2019 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) & Thomas Neele (Supervisor 2) |
An analysis of ASD timers and their expressivity with mCRL2
Student thesis: Master