%0 Conference Paper %1 conf/cav/DehnertJK017 %A Dehnert, Christian %A Junges, Sebastian %A Katoen, Joost-Pieter %A Volk, Matthias %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 592-600 %T A Storm is Coming: A Modern Probabilistic Model Checker. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#DehnertJK017 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/DehnertJK017, added-at = {2024-02-05T00:00:00.000+0100}, author = {Dehnert, Christian and Junges, Sebastian and Katoen, Joost-Pieter and Volk, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2e8eb09ab55112ec494cb9268c6b66108/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_31}, interhash = {1050c86b923400d0982edaafeb26f6ad}, intrahash = {e8eb09ab55112ec494cb9268c6b66108}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {592-600}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:26:48.000+0200}, title = {A Storm is Coming: A Modern Probabilistic Model Checker.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#DehnertJK017}, volume = 10427, year = 2017 }