Adding sequential composition and termination to the linear time
: branching time spectrum

  • L. Nijland

Scriptie/Masterproef: Master

Samenvatting

Datum prijs31 aug 2018
Originele taalEngels
BegeleiderS.P. (Bas) Luttik (Afstudeerdocent 1)

Citeer dit

Adding sequential composition and termination to the linear time: branching time spectrum
Nijland, L. (Auteur). 31 aug 2018

Scriptie/Masterproef: Master