A BDD based prover for mCRL2

  • L.J.P. Engelen

Scriptie/Masterproef: Master

Datum prijs30 nov. 2006
Originele taalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1)

Citeer dit

Documenten

  • full text

    Bestand: application/pdf, 441 KB

    Type: Scriptie

'