• 38 Citations

Research output per year

If you made any changes in Pure these will be visible here soon.

Student theses

An analysis of ASD timers and their expressivity with mCRL2

Author: Hong, T., 29 Apr 2019

Supervisor: Groote, J. F. (Supervisor 1) & Neele, T. (Supervisor 2)

Student thesis: Master


Discretization for timed mCRL2 models using the region based construction

Author: Liu, C., 28 Nov 2016

Supervisor: Groote, J. (Supervisor 1), Schiffelers, R. (External coach), Voeten, J. (Coach) & Neele, T. (Coach)

Student thesis: Master