Verification of ASD multi-component systems in mCRL2

  • M.H. Rol

Scriptie/Masterproef: Master

Datum prijs31 aug. 2018
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1)

Citeer dit

Documenten

'