%0 Journal Article %1 journals/iandc/BaierHHJKK20 %A Baier, Christel %A Hensel, Christian %A Hutschenreiter, Lisa %A Junges, Sebastian %A Katoen, Joost-Pieter %A Klein, Joachim %D 2020 %J Inf. Comput. %K dblp %P 104504 %T Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. %U http://dblp.uni-trier.de/db/journals/iandc/iandc272.html#BaierHHJKK20 %V 272

@article{journals/iandc/BaierHHJKK20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Baier, Christel and Hensel, Christian and Hutschenreiter, Lisa and Junges, Sebastian and Katoen, Joost-Pieter and Klein, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2d6e5d8e963235dff0fb9e02f1a1d9719/dblp}, ee = {https://doi.org/10.1016/j.ic.2019.104504}, interhash = {5983e1693ba05b1deffa57993126af9a}, intrahash = {d6e5d8e963235dff0fb9e02f1a1d9719}, journal = {Inf. Comput.}, keywords = {dblp}, pages = 104504, timestamp = {2024-04-09T06:08:18.000+0200}, title = {Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc272.html#BaierHHJKK20}, volume = 272, year = 2020 }