Baier, C., Hensel, C., Hutschenreiter, L., Junges, S., Katoen, J., & Klein, J. (2020). Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. Information and computation, 272, . https://doi.org/10.1016/j.ic.2019.104504
Chicago Style (17th ed.) CitationBaier, Christel, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, and Joachim Klein. "Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination." Information and Computation 272 (2020). https://doi.org/10.1016/j.ic.2019.104504.
MLA (9th ed.) CitationBaier, Christel, et al. "Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination." Information and Computation, vol. 272, 2020, https://doi.org/10.1016/j.ic.2019.104504.