TY  - RPRT
TI  - The Probabilistic Model Checker Storm (Extended Abstract)
AU  - Christian Dehnert
AU  - Sebastian Junges
AU  - Joost-Pieter Katoen
AU  - Matthias Volk
PY  - 2016
UR  - https://arxiv.org/abs/1610.08713
ID  - 1610.08713
ER  -