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

Cham / Springer Open (2019) [Contribution to a book, Contribution to a conference proceedings]

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : Proceedings / Dirk Beyer, Marieke Huisman, Fabrice Kordon • Bernhard Steffen (Eds.). - Part 3
Page(s): 69-92

Authors

Selected Authors

Hahn, Ernst Moritz
Hartmanns, Arnd
Hensel, Hans Christian
Klauck, Michaela
Klein, Joachim

Other Authors

Křetínský, Jan
Parker, David
Quatmann, Tim
Ruijters, Enno
Steinmetz, Marcel

Identifier

Downloads