%0 Generic %1 data/10/WinklerK23 %A Winkler, Tobias %A Katoen, Joost-Pieter %D 2023 %I Zenodo %K dblp %T ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration".

@data{data/10/WinklerK23, added-at = {2024-06-18T00:00:00.000+0200}, author = {Winkler, Tobias and Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/2a39a060d38143a99e1129ffa3da88fc3/dblp}, ee = {https://doi.org/10.5281/zenodo.7506305}, interhash = {f6e41051550172437a056f756baad05c}, intrahash = {a39a060d38143a99e1129ffa3da88fc3}, keywords = {dblp}, month = {January}, publisher = {Zenodo}, timestamp = {2024-06-24T07:29:38.000+0200}, title = {ARTIFACT EVALUATION FOR TACAS '23 SUBMISSION 103: "Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration".}, year = 2023 }