@InProceedings{BHK+20,
author={Carlos E. Budde and Arnd Hartmanns and Michaela Klauck and Jan K\v{r}et\'{\i}nsk{\'y} and David Parker and Tim Quatmann and Andrea Turrini and Zhen Zhang},
title={On Correctness, Precision, and Performance in Quantitative Verification: {QComp} 2020 Competition Report},
booktitle={Proc. 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'20)},
year={2020},

editors={},
pages={216-241},
organization={},
publisher={Springer},
series={LNCS},
volume={12479},
address={},
month={},
note={},
key={}
}