Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
Amsterdam / Elsevier (2019, 2020) [Buchbeitrag, Fachzeitschriftenartikel]
Information and computation
Band: 272
Seite(n): 104504
Autorinnen und Autoren
Ausgewählte Autorinnen und Autoren
Baier, Christel
Hensel, Christian
Hutschenreiter, Lisa
Junges, Sebastian
Katoen, Joost-Pieter
Weitere Autorinnen und Autoren
Klein, Joachim
Identifikationsnummern
- DOI: 10.1016/j.ic.2019.104504
- REPORT NUMBER: RWTH-2020-06791