| Datum prijs | 26 feb. 2018 |
|---|---|
| Originele taal | Engels |
| Begeleider | Tim A.C. Willemse (Afstudeerdocent 1) |
Abstracting real-valued parameters in parameterised boolean equation systems
Scriptie/Masterproef: Master