There is a newer version of this record available.

Software Open Access

BigraphTalk

Archibald, Blair; Sevegnani, Michele


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.2838148", 
  "title": "BigraphTalk", 
  "issued": {
    "date-parts": [
      [
        2019, 
        5, 
        15
      ]
    ]
  }, 
  "abstract": "<p>BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk</p>", 
  "author": [
    {
      "family": "Archibald, Blair"
    }, 
    {
      "family": "Sevegnani, Michele"
    }
  ], 
  "version": "1.0", 
  "type": "article", 
  "id": "2838148"
}
23
6
views
downloads
All versions This version
Views 2315
Downloads 64
Data volume 277.7 kB251.0 kB
Unique views 1713
Unique downloads 64

Share

Cite as