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