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

  • L. Nijland

Scriptie/Masterproef: Master

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

Citeer dit

'