The ins and outs of the probabilistic model checker MRMC

Fulltext present in this item

Fulltext: 92472.pdf

Format: PDF

Description: publisher's version

Embargo: until further notice

Title:	The ins and outs of the probabilistic model checker MRMC
Author(s):	Katoen, J.P.; Zapreev, I.S.; Hahn, E.M.; Hermanns, H.; Jansen, D.N.
Publication year:	2011
Source:	Performance Evaluation, vol. 68, iss. 2, (2011), pp. 90-104
ISSN:	0166-5316
DOI:	https://doi.org/10.1016/j.peva.2010.04.001
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/92472
Display more details
Subject:	Software Science
Organization:	Software Science
Journal title:	Performance Evaluation
Volume:	vol. 68
Issue:	iss. 2
Page start:	p. 90
Page end:	p. 104

Faculty of Science [28248]
Electronic publications [84253]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [183074]
Academic output Radboud University