%0 Journal Article %1 journals/lmcs/WinklerGK23 %A Winkler, Tobias %A Gehnen, Christina %A Katoen, Joost-Pieter %D 2023 %J Log. Methods Comput. Sci. %K dblp %N 4 %T Model Checking Temporal Properties of Recursive Probabilistic Programs. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs19.html#WinklerGK23 %V 19

@article{journals/lmcs/WinklerGK23, added-at = {2024-01-23T00:00:00.000+0100}, author = {Winkler, Tobias and Gehnen, Christina and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/20dbb1d41061f2ebe9bb21a022abab889/dblp}, ee = {https://doi.org/10.46298/lmcs-19(4:24)2023}, interhash = {a734f92f7b8e3481d70b7ff8a9a2cf4c}, intrahash = {0dbb1d41061f2ebe9bb21a022abab889}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 4, timestamp = {2024-04-09T01:50:57.000+0200}, title = {Model Checking Temporal Properties of Recursive Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs19.html#WinklerGK23}, volume = 19, year = 2023 }