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) .

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), ().

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://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}, 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}, }