There is a newer version of this record available.

Software Open Access

Software Artifact for "The Anchor Verifier for Blocking and Non-Blocking Concurrent Software"

Flanagan, Cormac; Freund, Stephen

BibTeX Export

@software{flanagan_cormac_2020_4032625,
  author       = {Flanagan, Cormac and
                  Freund, Stephen},
  title        = {{Software Artifact for "The Anchor Verifier for 
                   Blocking and Non-Blocking Concurrent Software"}},
  month        = oct,
  year         = 2020,
  publisher    = {Zenodo},
  version      = {1.0},
  doi          = {10.5281/zenodo.4032625},
  url          = {https://doi.org/10.5281/zenodo.4032625}
}
200
6
views
downloads
All versions This version
Views 20066
Downloads 63
Data volume 39.7 GB18.3 GB
Unique views 18159
Unique downloads 63
More info on how stats are collected.
Indexed in
Publication date:
October 1, 2020
DOI:
10.5281/zenodo.4032625

Zenodo DOI Badge

DOI 

10.5281/zenodo.4032625

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 2.0 10.5281/zenodo.4064052 Oct 1, 2020
Version 1.0 10.5281/zenodo.4032625 Oct 1, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4032624. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export