A BDD based prover for mCRL2

  • L.J.P. Engelen

Student thesis: Master

Date of Award30 Nov 2006
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 441 KB

    Type: Thesis

'