Date of Award | 18 Dec 2017 |
---|---|
Original language | English |
Supervisor | Tim A.C. Willemse (Supervisor 1) |
Quantitative model checking on probabilistic systems using pLμ
Student thesis: Master
Student thesis: Master
Date of Award | 18 Dec 2017 |
---|---|
Original language | English |
Supervisor | Tim A.C. Willemse (Supervisor 1) |