{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:16:00Z","timestamp":1725534960890},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/prdc.2013.25","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T14:58:39Z","timestamp":1401461919000},"page":"126-127","source":"Crossref","is-referenced-by-count":1,"title":["Consistency Verification of UML Diagrams Based on Process Bisimulation"],"prefix":"10.1109","author":[{"given":"Tomoyuki","family":"Yokogawa","sequence":"first","affiliation":[]},{"given":"Sousuke","family":"Amasaki","sequence":"additional","affiliation":[]},{"given":"Keisuke","family":"Okazaki","sequence":"additional","affiliation":[]},{"given":"Yoichiro","family":"Sato","sequence":"additional","affiliation":[]},{"given":"Kazutami","family":"Arimoto","sequence":"additional","affiliation":[]},{"given":"Hisashi","family":"Miyazaki","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1587\/transinf.E95.D.2193"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.38"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"journal-title":"A Calculus of Communicating Systems Springer","year":"1982","author":"milner","key":"5"},{"journal-title":"Concurrency State models & Java programs","year":"1999","author":"magee","key":"4"}],"event":{"name":"2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC)","start":{"date-parts":[[2013,12,2]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2013,12,4]]}},"container-title":["2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6732244\/6820825\/06820851.pdf?arnumber=6820851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T14:42:11Z","timestamp":1490280131000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6820851\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/prdc.2013.25","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}