Software Open Access

A model in Electrum of the Chord protocol

Brunel, Julien; Chemouil, David; Tawa, Jeanne

GeoJSON Export

{
  "type": "FeatureCollection", 
  "features": []
}
137
49
views
downloads
All versions This version
Views 137136
Downloads 4949
Data volume 216.3 kB216.3 kB
Unique views 123122
Unique downloads 3535
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