
Hutschenreiter, Lisa MasterUniversität HeidelbergHeidelberg
Refine publication list
Year of publication
Type of Publication
Language
Co-author (external)
Publications in heiBIB 
- Baier, Christel: Parametric Markov chains : PCTL complexity and fraction-free Gaussian elimination / Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachi… , 2020
In: Information and computation, ISSN 1090-2651. 272(2020), Seite 104504
DOI: 10.1016/j.ic.2019.104504