TY  - RPRT
TI  - A storm is Coming: A Modern Probabilistic Model Checker
AU  - Christian Dehnert
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
AU  - Matthias Volk
PY  - 2017
UR  - https://arxiv.org/abs/1702.04311
ID  - 1702.04311
ER  -