Software Open Access

BigraphTalk

Archibald, Blair; Sevegnani, Michele

BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk

Files (13.3 kB)
Name Size
bigraphtalk.tar.gz
md5:329cbe22674285acca5e94324e7dfa71 		13.3 kB Download
21
6
views
downloads
All versions This version
Views 217
Downloads 62
Data volume 277.7 kB26.7 kB
Unique views 155
Unique downloads 62
More info on how stats are collected.
Indexed in
Publication date:
December 3, 2019
DOI:
10.5281/zenodo.3240171

Zenodo DOI Badge

DOI 

10.5281/zenodo.3240171

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
MIT License

Versions

Version 1.1 10.5281/zenodo.3240171 Dec 3, 2019
Version 1.0 10.5281/zenodo.2838148 May 15, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.2838147. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export