Advances in Symbolic Probabilistic Model Checking with PRISM

Joachim Klein; Christel Baier; Philipp Chrszon; Marcus Daum; Clemens Dubslaff; Sascha Klüppelholz; Steffen Märcker; David Müller

doi:10.1007/978-3-662-49674-9_20

Advances in Symbolic Probabilistic Model Checking with PRISM

Joachim Klein, Christel Baier, Philipp Chrszon, Marcus Daum, Clemens Dubslaff, Sascha Klüppelholz, Steffen Märcker, David Müller

Algorithms and Logics for Verification

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

22 Citations (Scopus)

Original language	English
Title of host publication	TACAS
Pages	349-366
Number of pages	18
DOIs	https://doi.org/10.1007/978-3-662-49674-9_20
Publication status	Published - 2016

Access to Document

10.1007/978-3-662-49674-9_20

Cite this

@inproceedings{c6ffc04e80e1402797f571a1139c31c0,

title = "Advances in Symbolic Probabilistic Model Checking with PRISM",

author = "Joachim Klein and Christel Baier and Philipp Chrszon and Marcus Daum and Clemens Dubslaff and Sascha Kl{\"u}ppelholz and Steffen M{\"a}rcker and David M{\"u}ller",

year = "2016",

doi = "10.1007/978-3-662-49674-9_20",

language = "English",

pages = "349--366",

booktitle = "TACAS",

}

TY - GEN

T1 - Advances in Symbolic Probabilistic Model Checking with PRISM

AU - Klein, Joachim

AU - Baier, Christel

AU - Chrszon, Philipp

AU - Daum, Marcus

AU - Dubslaff, Clemens

AU - Klüppelholz, Sascha

AU - Märcker, Steffen

AU - Müller, David

PY - 2016

Y1 - 2016

U2 - 10.1007/978-3-662-49674-9_20

DO - 10.1007/978-3-662-49674-9_20

M3 - Conference contribution

SP - 349

EP - 366

BT - TACAS

ER -