A storm is Coming: A Modern Probabilistic Model Checker

Dehnert, Hans Christian (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias

(2017)
Preprint

Identifier