{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:01:01Z","timestamp":1767927661657,"version":"3.49.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/iccd.2016.7753341","type":"proceedings-article","created":{"date-parts":[[2016,11,24]],"date-time":"2016-11-24T16:40:00Z","timestamp":1480005600000},"page":"560-567","source":"Crossref","is-referenced-by-count":8,"title":["A novel approach to parameterized verification of cache coherence protocols"],"prefix":"10.1109","author":[{"given":"Yongjian","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaiqiang","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi","family":"Lv","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Pang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaowei","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11560548_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371252"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_55"},{"key":"ref14","year":"2016","journal-title":"para Verifier"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_17"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_68"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679392"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_19"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00191-0"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/237502.237573"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1994.288140"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45319-9_7"}],"event":{"name":"2016 IEEE 34th International Conference on Computer Design (ICCD)","location":"Scottsdale, AZ, USA","start":{"date-parts":[[2016,10,2]]},"end":{"date-parts":[[2016,10,5]]}},"container-title":["2016 IEEE 34th International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7742853\/7753252\/07753341.pdf?arnumber=7753341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T17:17:45Z","timestamp":1482340665000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7753341\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iccd.2016.7753341","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}