Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published October 24, 2020 | Version v2
Software Open

SyReNN TACAS 21 Artifact

Authors/Creators

  • Sotoudeh, Matthew
  • Thakur, Aditya V.

Description

SyReNN artifact for TACAS 21

Files

tacas.zip

Files (1.2 GB)

Name Size
tacas.zip
md5:ce35ac962da425bc9c102c427affb2c7
1.2 GB Preview Download
376
Views
73
Downloads
Show more details
All versions This version
Views

Total views

376 329
Downloads

Total downloads

73 70
Data volume

Total data volume

95.1 GB 91.5 GB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.4124489
DOI Badge

DOI 

10.5281/zenodo.4124489

Markdown 

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

reStructuredText 

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

HTML 

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

Image URL 

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

Target URL 

https://doi.org/10.5281/zenodo.4124489
Resource type
Software
Publisher
Zenodo

Rights

License
MIT License
A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more

Citation

Export

Technical metadata

Created
October 24, 2020
Modified
October 27, 2020

About

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

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

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

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