Software Open Access

BigraphTalk

Archibald, Blair; Sevegnani, Michele


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3240171", 
  "title": "BigraphTalk", 
  "issued": {
    "date-parts": [
      [
        2019, 
        12, 
        3
      ]
    ]
  }, 
  "abstract": "<p>BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk</p>", 
  "author": [
    {
      "family": "Archibald, Blair"
    }, 
    {
      "family": "Sevegnani, Michele"
    }
  ], 
  "version": "1.1", 
  "type": "article", 
  "id": "3240171"
}
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

Share

Cite as