{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:29:45Z","timestamp":1725474585918},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1109\/ica.2016.052","type":"proceedings-article","created":{"date-parts":[[2017,1,16]],"date-time":"2017-01-16T23:20:06Z","timestamp":1484608806000},"page":"154-157","source":"Crossref","is-referenced-by-count":0,"title":["ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC"],"prefix":"10.1109","author":[{"given":"Weiqiang","family":"Kong","sequence":"first","affiliation":[]},{"given":"Gang","family":"Hou","sequence":"additional","affiliation":[]},{"given":"Xiangpei","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Yasuhito","family":"Arimoto","sequence":"additional","affiliation":[]},{"given":"Masahiko","family":"Watanabe","sequence":"additional","affiliation":[]},{"given":"Takahiro","family":"Ando","sequence":"additional","affiliation":[]},{"given":"Kenji","family":"Hisazumi","sequence":"additional","affiliation":[]},{"given":"Akira","family":"Fukuda","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2011.17"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2012.38"},{"key":"ref5","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"14th TACAS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-010-0160-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxu127"},{"journal-title":"CATS Technical Report 1998","article-title":"Extended hierarchy state transition matrix design method - version 2.0","year":"2006","author":"watanabe","key":"ref1"}],"event":{"name":"2016 IEEE International Conference on Agents (ICA)","start":{"date-parts":[[2016,9,28]]},"location":"Matsue, Japan","end":{"date-parts":[[2016,9,30]]}},"container-title":["2016 IEEE International Conference on Agents (ICA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7811895\/7812946\/07812997.pdf?arnumber=7812997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T23:00:20Z","timestamp":1506985220000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7812997\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":7,"URL":"http:\/\/dx.doi.org\/10.1109\/ica.2016.052","relation":{},"subject":[],"published":{"date-parts":[[2016,9]]}}}
