A storm is Coming: A Modern Probabilistic Model Checker

(2017) [Preprint]

Page(s): 14 Seiten : Tabellen, Diagramme

Authors

Authors

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

Identifier

  • REPORT NUMBER: RWTH-CONV-220384