Fulltext present in this item

Thumbnail
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: http://dx.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 : http://hdl.handle.net/2066/92472   http://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

This item appears in the following Collection(s)

Browse

Statistics