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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

23 Citaten (Scopus)

Originele taal-2	Engels
Titel	TACAS
Pagina's	349-366
Aantal pagina's	18
DOI's	https://doi.org/10.1007/978-3-662-49674-9_20
Status	Gepubliceerd - 2016

Toegang tot document

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

Citeer dit

@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 -