[HahnHHKKKPQRS19] The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) Hahn, E. M.; Hartmanns, A.; Hensel, C.; Klauck, M.; Klein, J.; Kret'inský, J.; Parker, D.; Quatmann, T.; Ruijters, E. and Steinmetz, M. In TACAS (3), pages 69-92, LNCS 11429, 2019.
Downloads: bib