@InProceedings{KBC+16,
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}},
title={Advances in Symbolic Probabilistic Model Checking with {PRISM}},
booktitle={Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16)},
year={2016},

_editor={M. Chechik and J-F. Raskin},
pages={349-366},
organization={},
publisher={Springer},
series={LNCS},
volume={9636},
address={},
month={},
note={},
key={}
}