Joshua Jeppson, Matthias Volk 0001, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng 0001, Chris Winstead, Zhen Zhang 0006. STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 101-109, Springer, 2023. [doi]
@inproceedings{JeppsonVIRWBMZWZ23,
title = {STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker},
author = {Joshua Jeppson and Matthias Volk 0001 and Bryant Israelsen and Riley Roberts and Andrew Williams and Lukas Buecherl and Chris J. Myers and Hao Zheng 0001 and Chris Winstead and Zhen Zhang 0006},
year = {2023},
doi = {10.1007/978-3-031-43835-6_7},
url = {https://doi.org/10.1007/978-3-031-43835-6_7},
researchr = {https://researchr.org/publication/JeppsonVIRWBMZWZ23},
cites = {0},
citedby = {0},
pages = {101-109},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
editor = {Nils Jansen 0001 and Mirco Tribastone},
volume = {14287},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-43835-6},
}