Details for the publication BuddeHKKPQTZ20.

Carlos E. Budde, Arnd Hartmanns (), Michaela Klauck, Jan Kretínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang: On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report. In Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, volume 12479 of Lecture Notes in Computer Science, pages 216-241, 2020. DOI BIB