{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,4,5]]，“日期时间”：“2022-04-05T03:44:51Z”，“时间戳”：1649130291574}，“引用计数”：3，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2006,11]]}，“DOI”：“10.1109\/fmcad.2006.1”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2006,12,14]]，“date-time”：“2006-12-14T12:06:56Z”，“timestamp”：1166098016000}，“source”：”Crossref“，“is-referenced-by-count”：4，“title”：[“较低系统层的形式模型”]，“prefix”：“10.109”，“author”：[{“given”：：“Julien”，“family”：“Schmaltz”，“sequence”：“第一个”，“隶属关系”：[]｝]，“成员”：“263”，“参考文献”：[｛“键”：“3”，“作者”：“beyer”，“年份”：“2005”，“期刊标题”：“走向汽车系统ICCD中较低系统层的形式验证”｝，｛“键”：“2”，“文章标题”：“Isabelle\/HOL:高阶逻辑的证明助手”，“卷”：“2283”，“作者”：“nipkow”，“年份”：“2002”，“期刊标题”：“LNCS”｝，｛“key”：“1”，“author”：“brown”，“year”：“2006”，“journal title”：“双相标记和8N1协议TACAS'06的简单参数化验证”｝]，“event”：｛“name”：“2006计算机辅助设计中的形式化方法”，“location”：“San Jose，CA”，“start”：｛“date parts”：[[2006,11,12]]]｝，“end”：｛“date parts”：[[2006,11,12]]]｝，“container title”：[“2006计算机辅助设计中的形式方法”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/4020992\/4020993\/04021027.pdf？arnumber=4021027”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,15]]，“date-time”：7-03-15T12:40:27Z“，“timestamp”：1489581627000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/402027\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2006,11]]}，'references-count“：3，”URL“：”http://\/dx.doi.org\/10.109\/fmcad.2006.1“，”relation“：{}，“主题”：[]，“发布”：{“日期部分”：[[2006,11]]}}