The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

Publikation: Beitrag zu Konferenzen › Paper › Beigetragen

Beitragende

  • Christian Hensel - (Autor:in)
  • Michaela Klauck - (Autor:in)
  • Joachim Klein - , Professur für Algebraische und logische Grundlagen der Informatik (Autor:in)
  • Jan Křetínský - (Autor:in)
  • David Parker - (Autor:in)
  • Tim Quatmann - (Autor:in)
  • Enno Ruijters - (Autor:in)
  • Marcel Steinmetz - (Autor:in)
  • Arnd Hartmanns - (Autor:in)
  • Ernst Moritz Hahn - (Autor:in)

Details

OriginalspracheEnglisch
PublikationsstatusVeröffentlicht - 2019
Peer-Review-StatusNein

Schlagworte

Schlagwörter

  • comparison, tools, analysis of quantitative formal models