| Datum prijs | 31 aug. 2018 |
|---|---|
| Originele taal | Engels |
| Begeleider | S.P. (Bas) Luttik (Afstudeerdocent 1) |
Adding sequential composition and termination to the linear time: branching time spectrum
Scriptie/Masterproef: Master