@InProceedings{HHH+19,
author={Ernst Moritz Hahn and Arnd Hartmanns and Christian Hensel and Michaela Klauck and Joachim Klein and Jan K\v{r}et\'{\i}nsk{\'y} and David Parker and Tim Quatmann and Enno Ruijters and and Marcel Steinmetz},
title={The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models ({QComp} 2019 Competition Report)},
booktitle={Proc. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)},
year={2019},

editors={},
pages={69-92},
organization={},
publisher={Springer},
series={LNCS},
volume={11429},
address={},
month={},
note={},
key={}
}