Discretization for timed mCRL2 models using the region based construction

  • C. Liu

Student thesis: Master

Date of Award28 Nov 2016
Original languageEnglish
SupervisorJan Friso Groote (Supervisor 1), R.R.H. Schiffelers (External coach), Jeroen P.M. Voeten (Coach) & Thomas Neele (Coach)

Cite this

Documents

  • Liu_C_2016

    File: application/pdf, 1.05 MB

    Type: Thesis

'