A BDD based prover for mCRL2

  • L.J.P. Engelen

Student thesis: Master

Abstract

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

Cite this

'