BigraphTalk

Software OPEN SOURCE
Archibald, Blair; Sevegnani, Michele;
(2019)
  • Publisher: Zenodo
  • Related identifiers: doi: 10.5281/zenodo.2838148
  • Subject: Molecular Biology | verification tool | Sociology | BigraphTalk BigraphTalk | Cancer | IoTtalk
    • FOR: 80699 Information Systems not elsewhere classified | 69999 Biological Sciences not elsewhere classified | 39999 Chemical Sciences not elsewhere classified

<p>BigraphTalk is a formal verification tool, based on Bigraphs, for IoTtalk</p>
Share - Bookmark