The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

33 Citations (Scopus)

Fingerprint

Dive into the research topics of 'The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)'. Together they form a unique fingerprint.

Computer Science