| Date of Award | 1 Dec 2023 |
|---|---|
| Original language | English |
| Supervisor | S.P. (Bas) Luttik (Supervisor 1) |
Finite bases in the linear time-branching time spectrum with sequential composition and successful termination
Student thesis: Master