@misc{indiciaecdea257bd53b,
  title = {Parameter Synthesis for Markov Models: Faster Than Ever},
  author = {Tim Quatmann and Christian Dehnert and Nils Jansen and Sebastian Junges and Joost-Pieter Katoen},
  year = {2016},
  url = {https://arxiv.org/abs/1602.05113},
  note = {Source identifier: 1602.05113}
}