{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:23:06Z","timestamp":1730200986867,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,27]]},"DOI":"10.1109\/brains52497.2021.9569809","type":"proceedings-article","created":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T19:51:25Z","timestamp":1635191485000},"page":"37-38","source":"Crossref","is-referenced-by-count":3,"title":["Model-driven approach for the design of Multi-Chain Smart Contracts"],"prefix":"10.1109","author":[{"given":"Ankica","family":"Barisic","sequence":"first","affiliation":[]},{"given":"Enlin","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Frederic","family":"Mallet","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Interactive Theorem Proving and Program Development Coq'Art The Calculus of Inductive Constructions","year":"2013","author":"bertot","key":"ref4"},{"key":"ref3","first-page":"368","article-title":"Mi -Cho-Coq, a framework for certifying Tezos Smart Contracts","volume":"12232 lncs","author":"bernardo","year":"2019","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2997364.2997384"},{"journal-title":"Model-Driven Smart Contract Development for Everyone","year":"2019","author":"m\u00fclder","key":"ref6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.03.001"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"ref8","first-page":"523","article-title":"Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach","volume":"10957 lncs","author":"mavridou","year":"2018","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/Cybermatics_2018.2018.00183"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010855.pt2"},{"key":"ref9","article-title":"A survey on blockchain interoperability: Past, present, and future trends","author":"belchior","year":"2020","journal-title":"ArXiv"},{"journal-title":"Ethereum A secure decentralised generalised transaction ledger technical report eip-150 ethereum project - yellow paper","year":"0","author":"wood","key":"ref1"}],"event":{"name":"2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)","start":{"date-parts":[[2021,9,27]]},"location":"Paris, France","end":{"date-parts":[[2021,9,30]]}},"container-title":["2021 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9568781\/9569777\/09569809.pdf?arnumber=9569809","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:47:31Z","timestamp":1652197651000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9569809\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/brains52497.2021.9569809","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}