The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
Ernst Moritz HahnArnd HartmannsChristian HenselMichaela KlauckJoachim KleinJan KretínskýDavid ParkerTim QuatmannEnno RuijtersMarcel SteinmetzPublished in: TACAS (3) (2019)