DSpace at RU >

Browsing by Author Katoen, Joost-Pieter

Full Text	Issue Date	Title	Author(s)
	2009	The ins and outs of the probabilistic model checker MRMC	Katoen, Joost-Pieter; Zapreev, Ivan S.; Hahn, Ernst Moritz; Hermanns, Holger; Jansen, David N.
	2007	Bisimulation minimisation mostly speeds up probabilistic model checking	Katoen, Joost-Pieter; Kemna, Tim; Zapreev, Ivan; Jansen, D.N.; Grumberg, Orna, et al