A Storm is Coming: A Modern Probabilistic Model Checker

Dehnert, Hans Christian (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias

Cham : Springer (2017)
Buchbeitrag, Beitrag zu einem Tagungsband

In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2
Seite(n)/Artikel-Nr.: 592-600

Einrichtungen

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

Identifikationsnummern