A Storm is Coming: A Modern Probabilistic Model Checker

Cham / Springer (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

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): 592-600

Autorinnen und Autoren

Autorinnen und Autoren

Dehnert, Hans Christian
Junges, Sebastian
Katoen, Joost-Pieter
Volk, Matthias

Identifikationsnummern