@inproceedings{DBLP:conf/atva/HartmannsKL23,
author = {Arnd Hartmanns and
Bram Kohlen and
Peter Lammich},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Fast Verified SCCs for Probabilistic Model Checking},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {181--202},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_9},
doi = {10.1007/978-3-031-45329-8\_9},
timestamp = {Fri, 27 Oct 2023 20:40:26 +0200},
biburl = {https://dblp.org/rec/conf/atva/HartmannsKL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
