{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:57:23Z","timestamp":1725613043379},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.1109\/icis.2017.7960115","type":"proceedings-article","created":{"date-parts":[[2017,6,29]],"date-time":"2017-06-29T21:18:28Z","timestamp":1498771108000},"page":"875-878","source":"Crossref","is-referenced-by-count":0,"title":["FDR verification of a system involving a robot climbing stairs"],"prefix":"10.1109","author":[{"given":"Tomoo","family":"Sumida","sequence":"first","affiliation":[]},{"given":"Hiroyuki","family":"Suzuki","sequence":"additional","affiliation":[]},{"given":"Sho Sei","family":"Shun","sequence":"additional","affiliation":[]},{"given":"Kazuhito","family":"Omaki","sequence":"additional","affiliation":[]},{"given":"Takaaki","family":"Goto","sequence":"additional","affiliation":[]},{"given":"Kensei","family":"Tsuchida","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"The Theory and Practice of Concurrency","author":"roscoe","year":"1997","journal-title":"Prentice Hall"},{"year":"0","key":"ref3"},{"journal-title":"communicating Sequential Processes for Java(JCSP)","year":"0","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49253-4_11"},{"journal-title":"FDR Documentation","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0000463"}],"event":{"name":"2017 IEEE\/ACIS 16th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2017,5,24]]},"location":"Wuhan, China","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 IEEE\/ACIS 16th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951674\/7959951\/07960115.pdf?arnumber=7960115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,12]],"date-time":"2017-07-12T04:09:20Z","timestamp":1499832560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7960115\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/icis.2017.7960115","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}