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