Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination

Baier, Christel; Hensel, Hans Christian; Hutschenreiter, Lisa; Junges, Sebastian; Katoen, Joost-Pieter; Klein, Joachim (Corresponding author)

Amsterdam : Elsevier (2019, 2020)
Buchbeitrag, Fachzeitschriftenartikel

In: Information and computation
Band: 272
Seite(n)/Artikel-Nr.: 104504

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]