Symbolic compositional model checking for mCRL2

  • K. van der Pol

Scriptie/Masterproef: Master

Samenvatting

Datum prijs28 feb 2013
Originele taalEngels
BegeleiderTim A.C. Willemse (Afstudeerdocent 1)

Citeer dit

Symbolic compositional model checking for mCRL2
van der Pol, K. (Auteur). 28 feb 2013

Scriptie/Masterproef: Master