A BDD based prover for mCRL2

  • L.J.P. Engelen

Scriptie/masterproef: Master

Uittreksel

Datum Prijs30 nov 2006
TaalEngels
BegeleiderJan Friso Groote (Afstudeerdocent 1)

Citeer dit

A BDD based prover for mCRL2
Engelen, L. J. P. (Auteur). 30 nov 2006

Scriptie/masterproef: Master