%0 Thesis %A Blumenthal, Christian %T Inference in discrete probabilistic programs using probability generating functions %I RWTH Aachen University %V Masterarbeit %C Aachen %M RWTH-2024-06748 %D 2022 %Z Masterarbeit, RWTH Aachen University, 2022 %F PUB:(DE-HGF)19 %9 Master Thesis %U https://publications.rwth-aachen.de/record/989358