| Date of Award | 13 Mar 2021 |
|---|---|
| Original language | English |
| Supervisor | Sung-Shik Jongmans (Examiner) & Marko van Eekelen (Co-assessor) |
Model checking protocol implementations: A new adaptation-based approach
Student thesis: Master's Thesis