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

Student theses

Quantitative model checking on probabilistic systems using pLĪ¼

Author: Bunte, O., 18 Dec 2017

Supervisor: Willemse, T. (Supervisor 1)

Student thesis: Master

File