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

Research output: Contribution to conferences › Paper › Contributed

Contributors

  • Christian Hensel - (Author)
  • Michaela Klauck - (Author)
  • Joachim Klein - , Chair of Algebraic and Logical Foundations of Computer Science (Author)
  • Jan Křetínský - (Author)
  • David Parker - (Author)
  • Tim Quatmann - (Author)
  • Enno Ruijters - (Author)
  • Marcel Steinmetz - (Author)
  • Arnd Hartmanns - (Author)
  • Ernst Moritz Hahn - (Author)

Details

Original languageEnglish
Publication statusPublished - 2019
Peer-reviewedNo

Keywords

Keywords

  • comparison, tools, analysis of quantitative formal models