Probabilistic model checking in practice: case studies with PRISM

Research output: Contribution to journalArticle

Standard

Harvard

APA

Vancouver

Author

Bibtex

@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",
issn = "0163-5999",
publisher = "Association for Computing Machinery (ACM)",
number = "4",

}

RIS

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

SN - 0163-5999

IS - 4

ER -