TY  - RPRT
TI  - Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
AU  - Christel Baier
AU  - Marcus Daum
AU  - Benjamin Engel
AU  - Hermann Härtig
AU  - Joachim Klein
AU  - Sascha Klüppelholz
AU  - Steffen Märcker
AU  - Hendrik Tews
AU  - Marcus Völp
PY  - 2012
DO  - 10.4204/eptcs.102.14
UR  - https://arxiv.org/abs/1211.6196
ID  - 1211.6196
ER  -