Other Open Access

Synplexity CAV21 artifact

Qinheping Hu

This is the artifact of the paper [2103.04188] Synthesis with Asymptotic Resource Bounds (arxiv.org) for CAV 2021.

Files (12.9 GB)
Name Size
README.md
md5:019af9520587c9f212ba0ce17b8ef56f 		6.4 kB Download
Synplexity.ova
md5:f943378c0103f79396a757e0bc6af192 		12.9 GB Download
139
24
views
downloads
All versions This version
Views 139139
Downloads 2424
Data volume 142.4 GB142.4 GB
Unique views 123123
Unique downloads 1919
More info on how stats are collected.
Indexed in
Publication date:
May 7, 2021
DOI:
10.5281/zenodo.4742694

Zenodo DOI Badge

DOI 

10.5281/zenodo.4742694

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

https://doi.org/10.5281/zenodo.4742694

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4742694 May 7, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4742693. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export