2838148
doi
10.5281/zenodo.2838148
oai:zenodo.org:2838148
Sevegnani, Michele
University of Glasgow
BigraphTalk
Archibald, Blair
University of Glasgow
info:eu-repo/semantics/openAccess
MIT License
https://opensource.org/licenses/MIT
<p>BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk</p>
Zenodo
2019-05-15
info:eu-repo/semantics/other
2838147
1.0
1579937106.885978
62758
md5:40d426b21a9f4249c6316c1fdff452f7
https://zenodo.org/records/2838148/files/bigraphtalk.tar.gz
public
10.5281/zenodo.2838147
isVersionOf
doi