@article{2023arXiv230200513K,
    doi = {10.48550/arXiv.2302.00513},
    Author = {{Klinkenberg}, Lutz and {Chen}, Mingshuai and {Katoen}, Joost-Pieter and {Winkler}, Tobias},
    EID = {arXiv:2302.00513},
    EPrint = {2302.00513},
    File = {Exact Probabilistic Inference Using Generating Functions - 2302.00513.pdf},
    Journal = {arXiv e-prints},
    Keywords = {Computer Science - Programming Languages, Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science},
    Month = {February},
    Pages = {arXiv:2302.00513},
    PrimaryClass = {cs.PL},
    Title = {{Exact Probabilistic Inference Using Generating Functions}},
    Year = {2023},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230200513K},
    bdsk-url-1 = {https://doi.org/10.48550/arXiv.2302.00513},
    date-added = {2023-02-09 11:51:35 +0100},
    date-modified = {2023-02-09 11:51:35 +0100}
}

@article{2023arXiv230200513K, doi = {10.48550/arXiv.2302.00513}, Author = {{Klinkenberg}, Lutz and {Chen}, Mingshuai and {Katoen}, Joost-Pieter and {Winkler}, Tobias}, EID = {arXiv:2302.00513}, EPrint = {2302.00513}, File = {Exact Probabilistic Inference Using Generating Functions - 2302.00513.pdf}, Journal = {arXiv e-prints}, Keywords = {Computer Science - Programming Languages, Computer Science - Discrete Mathematics, Computer Science - Logic in Computer Science}, Month = {February}, Pages = {arXiv:2302.00513}, PrimaryClass = {cs.PL}, Title = {{Exact Probabilistic Inference Using Generating Functions}}, Year = {2023}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230200513K}, bdsk-url-1 = {https://doi.org/10.48550/arXiv.2302.00513}, date-added = {2023-02-09 11:51:35 +0100}, date-modified = {2023-02-09 11:51:35 +0100} }