| Date of Award | 26 Feb 2018 |
|---|---|
| Original language | English |
| Supervisor | Tim A.C. Willemse (Supervisor 1) |
Abstracting real-valued parameters in parameterised boolean equation systems
Student thesis: Master