Publication

[BuddeHKKPQT20] On Correctness, Precision, and Performance in Quantitative Verification Budde, C. E.; Hartmanns, A.; Klauck, M.; Křetínský, J.; Parker, D.; Quatmann, T. and Turrini, A. In ISoLA, 2020.
Downloads: bib