Model checking supermodels workbench with mCRL2
: mCRL2 analysing system behaviour

  • R.W.J. Meeuws

Student thesis: Master

Date of Award30 Aug 2019
Original languageEnglish
SupervisorJ.W. (Wieger) Wesselink (Supervisor 1)

Cite this

Documents

'