Quantitative model checking on probabilistic systems using pLμ

Student thesis: Master

Abstract

Date of Award18 Dec 2017
Original languageEnglish
SupervisorTim A.C. Willemse (Supervisor 1)

Cite this

'