Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell, Millstein, Todd, Seshia, Sanjit A, and Van den Broeck, Guy. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. Retrieved from https://par.nsf.gov/biblio/10303959. International Conference on Computer Aided Verification . Web. doi:10.1007/978-3-030-81688-9_27.

Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell, Millstein, Todd, Seshia, Sanjit A, & Van den Broeck, Guy. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference. International Conference on Computer Aided Verification, (). Retrieved from https://par.nsf.gov/biblio/10303959. https://doi.org/10.1007/978-3-030-81688-9_27

Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell, Millstein, Todd, Seshia, Sanjit A, and Van den Broeck, Guy. "Model Checking Finite-Horizon Markov Chains with Probabilistic Inference". International Conference on Computer Aided Verification (). Country unknown/Code not available. https://doi.org/10.1007/978-3-030-81688-9_27. https://par.nsf.gov/biblio/10303959.

@article{osti_10303959,
place = {Country unknown/Code not available}, title = {Model Checking Finite-Horizon Markov Chains with Probabilistic Inference}, url = {https://par.nsf.gov/biblio/10303959}, DOI = {10.1007/978-3-030-81688-9_27}, abstractNote = {}, journal = {International Conference on Computer Aided Verification}, author = {Holtzen, Steven and Junges, Sebastian and Vazquez-Chanlatte, Marcell and Millstein, Todd and Seshia, Sanjit A and Van den Broeck, Guy}, }