| Date of Award | 31 Aug 2018 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) |
Verification of ASD multi-component systems in mCRL2
Student thesis: Master
Student thesis: Master
| Date of Award | 31 Aug 2018 |
|---|---|
| Original language | English |
| Supervisor | Jan Friso Groote (Supervisor 1) |