Software Open Access

A model in Electrum of the Chord protocol

Brunel, Julien; Chemouil, David; Tawa, Jeanne

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
103
44
views
downloads
All versions This version
Views 103103
Downloads 4444
Data volume 196.2 kB196.2 kB
Unique views 9090
Unique downloads 3131
More info on how stats are collected.
Indexed in
Publication date:
August 23, 2018
DOI:
10.5281/zenodo.1322052

Zenodo DOI Badge

DOI 

10.5281/zenodo.1322052

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
chord protocol formal specification model checking electrum alloy
License (for files):
ISC License

Versions

Version 20180824 10.5281/zenodo.1322052 Aug 23, 2018
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1322051. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export