Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published January 18, 2024 | Version v1
Dataset Open

MonoProof Experiment Benchmark

Authors/Creators

  • Feng, N

Files

BGA_Escape_benchmark.zip

Files (1.2 GB)

Name Size Download all
BGA_Escape_benchmark.zip
md5:be16465aee63adf36b9dc5ba4a271ea8
159.9 MB Preview Download
key_flow.zip
md5:e515024d7c5eb361ea50759b955adde8
1.1 GB Preview Download
37
Views
38
Downloads
Show more details
All versions This version
Views

Total views

37 37
Downloads

Total downloads

38 38
Data volume

Total data volume

22.2 GB 22.2 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.10530451
DOI Badge

DOI

10.5281/zenodo.10530451

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.10530451.svg)](https://doi.org/10.5281/zenodo.10530451)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.10530451.svg
  :target: https://doi.org/10.5281/zenodo.10530451

HTML

<a href="https://doi.org/10.5281/zenodo.10530451"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.10530451.svg" alt="DOI"></a>

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.10530451.svg

Target URL

https://doi.org/10.5281/zenodo.10530451
Resource type
Dataset
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
January 18, 2024
Modified
January 18, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Help

  • Overview
  • FAQ
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use
  • Support

This site uses cookies. Find out more on how we use cookies