{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-05-08T02:34:11.740466+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 2, "enabled": true, "entries": { "README.md": { "checksum": "md5:019af9520587c9f212ba0ce17b8ef56f", "ext": "md", "id": "65cf695b-8423-48f4-9a8c-d8528e45f3ed", "key": "README.md", "metadata": null, "mimetype": "application/octet-stream", "size": 6355 }, "Synplexity.ova": { "checksum": "md5:f943378c0103f79396a757e0bc6af192", "ext": "ova", "id": "3b003304-bb6e-4470-bd4a-16e38da460fd", "key": "Synplexity.ova", "metadata": null, "mimetype": "application/octet-stream", "size": 12949057024 } }, "order": [], "total_bytes": 12949063379 }, "id": "4742694", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/4742694/access", "access_links": "https://zenodo.org/api/records/4742694/access/links", "access_request": "https://zenodo.org/api/records/4742694/access/request", "access_users": "https://zenodo.org/api/records/4742694/access/users", "archive": "https://zenodo.org/api/records/4742694/files-archive", "archive_media": "https://zenodo.org/api/records/4742694/media-files-archive", "communities": "https://zenodo.org/api/records/4742694/communities", "communities-suggestions": "https://zenodo.org/api/records/4742694/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.4742694", "draft": "https://zenodo.org/api/records/4742694/draft", "files": "https://zenodo.org/api/records/4742694/files", "latest": "https://zenodo.org/api/records/4742694/versions/latest", "latest_html": "https://zenodo.org/records/4742694/latest", "media_files": "https://zenodo.org/api/records/4742694/media-files", "parent": "https://zenodo.org/api/records/4742693", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.4742693", "parent_html": "https://zenodo.org/records/4742693", "requests": "https://zenodo.org/api/records/4742694/requests", "reserve_doi": "https://zenodo.org/api/records/4742694/draft/pids/doi", "self": "https://zenodo.org/api/records/4742694", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.4742694", "self_html": "https://zenodo.org/records/4742694", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:4742694/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:4742694/sequence/default", "versions": "https://zenodo.org/api/records/4742694/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "University of Wisconsin, Madison" } ], "person_or_org": { "family_name": "Qinheping Hu", "name": "Qinheping Hu", "type": "personal" } } ], "description": "
This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org) for CAV 2021.
", "publication_date": "2021-05-07", "publisher": "Zenodo", "resource_type": { "id": "other", "title": { "de": "Sonstige", "en": "Other" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "title": "Synplexity CAV21 artifact" }, "parent": { "access": { "owned_by": { "user": 98648 } }, "communities": {}, "id": "4742693", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4742693", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.4742694", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:4742694", "provider": "oai" } }, "revision_id": 1, "stats": { "all_versions": { "data_volume": 388471920435.0, "downloads": 63, "unique_downloads": 57, "unique_views": 303, "views": 327 }, "this_version": { "data_volume": 375522857056.0, "downloads": 61, "unique_downloads": 55, "unique_views": 294, "views": 318 } }, "status": "published", "updated": "2021-05-08T02:34:14.150552+00:00", "versions": { "index": 1, "is_latest": true } }