A Storm is Coming: A Modern Probabilistic Model Checker
Dehnert, Hans Christian (Corresponding author); Junges, Sebastian; Katoen, Joost-Pieter; Volk, Matthias
Cham : Springer (2017)
Contribution to a book, Contribution to a conference proceedings
In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2
Page(s)/Article-Nr.: 592-600
Institutions
- UnRAVeL Research Training Group [080060]
- Department of Computer Science [120000]
- Chair of Computer Science 2 (Software Modeling and Verification) [121310]
Identifier
- DOI: 10.1007/978-3-319-63390-9_31
- RWTH PUBLICATIONS: RWTH-CONV-220390