@InProceedings{HKPQR19,
author={Arnd Hartmanns and Michaela Klauck and David Parker and Tim Quatmann and Enno Ruijters},
title={The Quantitative Verification Benchmark Set},
booktitle={Proc. 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19)},
year={2019},

editors={},
pages={344-350},
organization={},
publisher={Springer},
series={LNCS},
volume={11427},
address={},
month={},
note={},
key={}
}