Numerical vs. Statistical Probabilistic Model Checking

H Younes, Marta Kwiatkowska, Gethin Norman, David Parker

Research output: Contribution to journal › Article

133 Citations (Scopus)

Original language	English
Pages (from-to)	216-228
Number of pages	13
Journal	International Journal on Software Tools for Technology Transfer
Volume	8
Issue number	3
DOIs	https://doi.org/10.1007/s10009-005-0187-8
Publication status	Published - 1 Jun 2006

Access to Document

@article{602020b5b6714dd1b91e3d3e0e7a9400,

title = "Numerical vs. Statistical Probabilistic Model Checking",

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

year = "2006",

month = jun,

day = "1",

doi = "10.1007/s10009-005-0187-8",

language = "English",

volume = "8",

pages = "216--228",

journal = "International Journal on Software Tools for Technology Transfer",

publisher = "Springer",

number = "3",

}

TY - JOUR

T1 - Numerical vs. Statistical Probabilistic Model Checking

AU - Younes, H

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

PY - 2006/6/1

Y1 - 2006/6/1

UR - http://www.scopus.com/inward/record.url?scp=33747766605&partnerID=8YFLogxK

U2 - 10.1007/s10009-005-0187-8

DO - 10.1007/s10009-005-0187-8

M3 - Article

VL - 8

SP - 216

EP - 228

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 3

ER -