DSpace at RU >

Browsing by Author Hermanns, Holger

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	Flow faster : efficient decision algorithms for probabilistic simulations	Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, D.N.; Grumberg, Orna, et al
	2006	Generic Forward and Backward Simulations	Hasuo, I.; Baier, Christel; Hermanns, Holger