@article{UBHD-68626036,
  author={Baier, Christel and Hensel, Christian and Hutschenreiter, Lisa and Junges, Sebastian and Katoen, Joost-Pieter and Klein, Joachim},
  title={Parametric Markov chains},
  subtitle={PCTL complexity and fraction-free Gaussian elimination},
  year={2020},
  pages={104504},
  language={eng},
  issn={1090-2651},
  volume={272},
  note={Available online 16 december 2019 ; Gesehen am 10.08.2020},
  journal={Information and computation},
  doi={10.1016/j.ic.2019.104504},
}