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