The semantics of ALIAS defined in mCRL2

  • R.J.W. Jonk

Scriptie/Masterproef: Master

Datum prijs26 sep. 2016
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1), D. Hendriks (Externe coach) & Tom Verhoeff (Afstudeerdocent 2)

Citeer dit

'