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) & Thomas Neele (Coach)

Cite this

Discretization for timed mCRL2 models using the region based construction
Liu, C. (Author). 28 Nov 2016

Student thesis: Master