{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:42:45Z","timestamp":1742989365902,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":4,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811506369"},{"type":"electronic","value":"9789811506376"}],"license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-981-15-0637-6_43","type":"book-chapter","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T12:09:32Z","timestamp":1575288572000},"page":"499-512","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Systems and Methods for Implementing Deterministic Finite Automata (DFA) via a Blockchain"],"prefix":"10.1007","author":[{"given":"Craig S.","family":"Wright","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,12,1]]},"reference":[{"key":"43_CR1","unstructured":"T. Hvitved, Contract Formalisation and Modular Implementation of Domain-Specific Languages. Faculty of Science, University of Copenhagen, Ph.D. Thesis (2012)"},{"key":"43_CR2","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.elerap.2004.02.003","volume":"3","author":"C Molina-Jimenez","year":"2004","unstructured":"C. Molina-Jimenez et al., Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3, 108 (2004)","journal-title":"Electron. Commer. Res. Appl."},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"M.D. Flood, O.R. Goodenough, Contract as Automaton: The Computational Representation of Financial Agreements. OFR Working Paper 1504 (2015)","DOI":"10.2139\/ssrn.2648460"},{"key":"43_CR4","unstructured":"Botman, nCrypt: Umbrella Document, WP0238 (2016)"}],"container-title":["Advances in Intelligent Systems and Computing","Fourth International Congress on Information and Communication Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-15-0637-6_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T05:09:02Z","timestamp":1585890542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-15-0637-6_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,1]]},"ISBN":["9789811506369","9789811506376"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-981-15-0637-6_43","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,12,1]]},"assertion":[{"value":"1 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}