Probabilistic model checking in practice: case studies with PRISM

Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	16-21
Number of pages	6
Journal	ACM SIGMETRICS Performance Evaluation Review
Volume	32
Issue number	4
DOIs	https://doi.org/10.1145/1059816.1059820
Publication status	Published - 1 Mar 2005

Access to Document

@article{11785342ac9a48038afe944329ba5d4e,

title = "Probabilistic model checking in practice: case studies with PRISM",

author = "Marta Kwiatkowska and Gethin Norman and David Parker",

year = "2005",

month = mar,

day = "1",

doi = "10.1145/1059816.1059820",

language = "English",

volume = "32",

pages = "16--21",

journal = "ACM SIGMETRICS Performance Evaluation Review",

publisher = "Association for Computing Machinery (ACM)",

number = "4",

}

TY - JOUR

T1 - Probabilistic model checking in practice: case studies with PRISM

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2005/3/1

Y1 - 2005/3/1

U2 - 10.1145/1059816.1059820

DO - 10.1145/1059816.1059820

M3 - Article

VL - 32

SP - 16

EP - 21

JO - ACM SIGMETRICS Performance Evaluation Review

JF - ACM SIGMETRICS Performance Evaluation Review

IS - 4

ER -