A storm is Coming: A Modern Probabilistic Model Checker

(2017) [Preprint]

Seite(n): 14 Seiten : Tabellen, Diagramme

Autorinnen und Autoren

Autorinnen und Autoren

Dehnert, Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-220384