[DJKV17]
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen and Matthias Volk.
A Storm is Coming: A Modern Probabilistic Model Checker.
In Proc. 29th International Conference on Computer Aided Verification (CAV'17).
2017.
[bib]
|
Links:
[Google]
[Google Scholar]
|