| Date of Award | 28 Sept 2023 |
|---|---|
| Original language | English |
| Supervisor | Tim A.C. Willemse (Supervisor 1) |
Extraction of Invariants in Parameterised Boolean Equation Systems
Student thesis: Master