Jeppson, Joshua, Volk, Matthias, Israelsen, Bryant, Roberts, Riley, Williams, Andrew, Buecherl, Lukas, Myers, Chris J, Zheng, Hao, Winstead, Chris, and Zhang, Zhen. STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science) . Web. doi:10.1007/978-3-031-43835-6_7.

Jeppson, Joshua, Volk, Matthias, Israelsen, Bryant, Roberts, Riley, Williams, Andrew, Buecherl, Lukas, Myers, Chris J, Zheng, Hao, Winstead, Chris, & Zhang, Zhen. STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science), (). https://doi.org/10.1007/978-3-031-43835-6_7

Jeppson, Joshua, Volk, Matthias, Israelsen, Bryant, Roberts, Riley, Williams, Andrew, Buecherl, Lukas, Myers, Chris J, Zheng, Hao, Winstead, Chris, and Zhang, Zhen. "STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker". Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science) (). Country unknown/Code not available: Springer-Verlag. https://doi.org/10.1007/978-3-031-43835-6_7. https://par.nsf.gov/biblio/10516375.

@article{osti_10516375,
place = {Country unknown/Code not available}, title = {STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker}, url = {https://par.nsf.gov/biblio/10516375}, DOI = {10.1007/978-3-031-43835-6_7}, abstractNote = {}, journal = {Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings (Lecture Notes in Computer Science)}, publisher = {Springer-Verlag}, author = {Jeppson, Joshua and Volk, Matthias and Israelsen, Bryant and Roberts, Riley and Williams, Andrew and Buecherl, Lukas and Myers, Chris J and Zheng, Hao and Winstead, Chris and Zhang, Zhen}, }