Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Datasets
>
Artefact for: Quantitative Bounds on Resource U...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
DOI
https://doi.org/10.5281/zenodo.10457566
View graph of relations
Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs
Dataset
Overview
Cite this
DataCite
Meggendorfer, T.
, Žikelić, Đ. (2024):
Artefact for: Quantitative Bounds on Resource Usage of Probabilistic Programs
. Zenodo.
10.5281/zenodo.10457566
