@misc{indiciae7e397b042909,
  title = {The Probabilistic Model Checker Storm (Extended Abstract)},
  author = {Christian Dehnert and Sebastian Junges and Joost-Pieter Katoen and Matthias Volk},
  year = {2016},
  url = {https://arxiv.org/abs/1610.08713},
  note = {Source identifier: 1610.08713}
}