Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Symbolic compositional model checking for mCRL2

  • K. van der Pol

Scriptie/Masterproef: Master

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

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 695 KB

    Type: Scriptie

'