An analysis of ASD timers and their expressivity with mCRL2

  • T. Hong

Scriptie/Masterproef: Master

Datum prijs29 apr. 2019
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1) & Thomas Neele (Afstudeerdocent 2)

Citeer dit

'