A BDD based prover for mCRL2

  • L.J.P. Engelen

Scriptie/Masterproef: Master

Samenvatting

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

Citeer dit

'