{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:13:49Z","timestamp":1760044429892,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102243","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T16:49:00Z","timestamp":1510246140000},"page":"68-75","source":"Crossref","is-referenced-by-count":1,"title":["Safety verification of phaser programs"],"prefix":"10.23919","author":[{"given":"Zeinab","family":"Ganjei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Rezine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petru","family":"Eles","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zebo","family":"Peng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.12.002"},{"key":"ref11","article-title":"Safety verification of phaser programs","volume":"abs 1708 2801","author":"zeinab","year":"2017","journal-title":"CoRR"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90222-F"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/11559306_9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2009.5161071"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093165"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41202-8_16"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2688500.2688519"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2557833.2560582"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1375527.1375568"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1145\/1103845.1094852","article-title":"X10: An object-oriented approach to non-uniform cluster computing","volume":"40","author":"charles","year":"2005","journal-title":"SIGPLAN Not"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2016-1317"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2017,10,2]]},"location":"Vienna","end":{"date-parts":[[2017,10,6]]}},"container-title":["2017 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093672\/8102222\/08102243.pdf?arnumber=8102243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T19:11:29Z","timestamp":1570302689000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102243\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102243","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}