Verification of ASD multi-component systems in mCRL2

  • M.H. Rol

Student thesis: Master

Date of Award31 Aug 2018
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1)

Cite this

'