%0 Journal Article %1 journals/jar/Holzl17 %A Hölzl, Johannes %D 2017 %J J. Autom. Reason. %K %N 3 %P 345-387 %T Markov Chains and Markov Decision Processes in Isabelle/HOL. %U http://dblp.uni-trier.de/db/journals/jar/jar59.html#Holzl17 %V 59

@article{journals/jar/Holzl17, added-at = {2023-12-14T16:04:44.000+0100}, author = {Hölzl, Johannes}, biburl = {https://www.bibsonomy.org/bibtex/259d0be41d8e664c1e0eca1bd601fb189/admin}, ee = {https://doi.org/10.1007/s10817-016-9401-5}, interhash = {f33ae934b424c6a32978ff651bdeb03f}, intrahash = {59d0be41d8e664c1e0eca1bd601fb189}, journal = {J. Autom. Reason.}, keywords = {}, number = 3, pages = {345-387}, timestamp = {2023-12-14T16:04:44.000+0100}, title = {Markov Chains and Markov Decision Processes in Isabelle/HOL.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar59.html#Holzl17}, volume = 59, year = 2017 }