{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:44:37Z","timestamp":1725576277241},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,1,10]],"date-time":"2021-01-10T00:00:00Z","timestamp":1610236800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,1,10]],"date-time":"2021-01-10T00:00:00Z","timestamp":1610236800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,1,10]],"date-time":"2021-01-10T00:00:00Z","timestamp":1610236800000},"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,1,10]]},"DOI":"10.1109\/icce50685.2021.9427637","type":"proceedings-article","created":{"date-parts":[[2021,5,13]],"date-time":"2021-05-13T19:57:02Z","timestamp":1620935822000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study of Choreography Realizability Checking on Smart Home Application"],"prefix":"10.1109","author":[{"given":"Marika","family":"IZAWA","sequence":"first","affiliation":[]},{"given":"Toshiyuki","family":"MIYAMOTO","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E97.D.1171"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s11761-008-0022-7"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2008.02.001"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.E101.A.345"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2015FOP0001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0372-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90112-2"},{"key":"ref2","first-page":"1","article-title":"Toward a theory of web service choreographies","author":"su","year":"2007","journal-title":"Proc 4th Intl Conf on Web Services and Formal Methods"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.2019FOL0002"},{"journal-title":"Service-Oriented Architecture Concepts Technology and Design","year":"2005","author":"erl","key":"ref1"}],"event":{"name":"2021 IEEE International Conference on Consumer Electronics (ICCE)","start":{"date-parts":[[2021,1,10]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2021,1,12]]}},"container-title":["2021 IEEE International Conference on Consumer Electronics (ICCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9427462\/9427578\/09427637.pdf?arnumber=9427637","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:41:22Z","timestamp":1652197282000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9427637\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,10]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icce50685.2021.9427637","relation":{},"subject":[],"published":{"date-parts":[[2021,1,10]]}}}