{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:24:42Z","timestamp":1763724282817,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/icis.2013.6607888","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:45Z","timestamp":1380652725000},"page":"497-502","source":"Crossref","is-referenced-by-count":1,"title":["Automated proof for equivalence of telephone systems"],"prefix":"10.1109","author":[{"given":"Jun","family":"Sakoh","sequence":"first","affiliation":[]},{"given":"Noriaki","family":"Yoshimasa","sequence":"additional","affiliation":[]},{"given":"Yoshinobu","family":"Kawabe","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"A computer-assisted proof for equivalence of two telephone systems","author":"kawabe","year":"2012","journal-title":"ITC-CSCC 2012"},{"key":"2","first-page":"329","volume":"693","author":"garland","year":"1993","journal-title":"An Overview of Larch LNCS"},{"journal-title":"Formal Verification of Simulations between I\/O Automata","year":"2000","author":"bogdanov","key":"1"},{"key":"7","first-page":"621","article-title":"A study on a practical measure against billing frauds","author":"yamamoto","year":"2010","journal-title":"IPSJ Computer Security Symposium"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73210-5_26"},{"journal-title":"Distributed Algorithms","year":"1996","author":"lynch","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1134"},{"year":"0","key":"9"},{"journal-title":"Multiagent Systems A Modern Approach to Distributed Artificial Intelligence","year":"1999","author":"weiss","key":"8"}],"event":{"name":"2013 IEEE\/ACIS 12th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2013,6,16]]},"location":"Niigata, Japan","end":{"date-parts":[[2013,6,20]]}},"container-title":["2013 IEEE\/ACIS 12th International Conference on Computer and Information Science (ICIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6588696\/6607797\/06607888.pdf?arnumber=6607888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:58:31Z","timestamp":1490237911000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6607888\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icis.2013.6607888","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}