Discretization for timed mCRL2 models using the region based construction

  • C. Liu

Student thesis: Master

Abstract

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

Cite this

'