DOI,IST REx ID,Research Group,Title of publication
10.5281/zenodo.10457565,23140,KrCh,Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs