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

Cham / Springer Open (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

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
Seite(n): 69-92

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Weitere Autorinnen und Autoren

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

Identifikationsnummern