{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T16:56:42Z”，“时间戳”：1725469002827}，“引用计数”：0，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2009,7]]}，”DOI“：“10.1109 \/memcod.2009.5185379”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T19:09:22Z”，“timestamp”：1250017762000}，“page”：”66-68“，“source”：《Crossref》，“is-referenced-by-count”：5，“title”：[“2009 MEMOCODE Co-Design Contest”]，“prefix”：”10.1109“，“author”：[{“given”：Forrest“，”family“：”Brewer“，”sequence“：“first”，“affiliation”：[]}，{“given”：“James C.”，“family”：“Hoe”，“sequence”：“additional”，“fessiliation”:[]}]，“member”：“263”，“event”：{“name”：“2009第七届IEEE\/ACM协同设计形式方法和模型国际会议（MEMOCODE）”，“start”：{date-parts”：[[2009,7,13]}、“location”：“Cambridge，MA，USA”，“end”：{data-parts“：[[2009，7]}”15]]}}，“container-title”：[“2009第七届IEEE \/ACM联合设计形式方法和模型国际会议”]，“original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.IEEE.org\/ielx5\/5173407\/5185370\/05185379.pdf？arnumber=5185379“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，“deposed”用法：{“date-parts”：[[2017,3,17]]，“date-time”：“2017-03-17T20:52:17Z”，“timestamp”：1489783937000}，“score”：1，“resource”：{主“URL”：“http://\/ieeexplore.iee.org\/document\/5185379\/”}，”副标题“：[]，”短标题“：[]，”已发布“：{”date-part“：[2009,7]]}”，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1109\/memcod.2009.5185379”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2009,7]]}}