{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T04:25:01Z”，“时间戳”：1649132701568}，“引用-计数”：14，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2015,11]]}，“DOI”：“10.1109\/ase.2015.75”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2016,1,7]]，“date-time”：“2016-01-07T22:14:45Z”，“timestamp”：1452204885000}，“source”：《Crossref》，“is-referenced-by-count”：3，“title”：[“使用渐进权限的模型检查任务并行程序（N）”]，“prefix”：“101109”，“author”：[{“给定”：“Eric G”，“family”：“美世”、“sequence”：“first”，“affiliation”：[]}，{“given”：“Peter”，“family”：“Anderson”，“sequences”：“additional”，“filiation“：[]{”given“：”Nick“，”family“：”Vrvilo“，”sequence“：”additional“，”affiliance“：[]}，}“giving”：“Vivek”，“家族”：“Sarkar”，“序列”：“additional”、“affidiation”：“[]}]，“member”：“263”，“reference”：[{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1543135.1542490”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.145\/2557833.2560582”}{“key”：“ref14”，“首页”：“11”，“文章标题”：“X 10X：使用“旧”模型检查器对新编程语言进行模型检查，“author”：“gligoric”，“year”：“2012”，“journal-title”：“ICST”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2647508.2647514”}：“第26届欧洲面向对象编程服务器ECOOP'12会议记录”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-70545-1_9”}：“符号探路者：将符号执行与Java字节码分析的模型检查相结合”，“卷”：“20”，“作者”：“pasareanu”，“年份”：“2013”，“日志标题”：“Autom Softw Eng”}，{“键”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1926385.1926432”}，{“键”：“ref2”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-642-29860-8_8”｝，｛“key”：“ref1”，“doi asserted by”：“publisher”，“doi”：“10.1145\/2093157.2093165”｝，｛“key”：“ref9”，“doi asserted by”：“publisher”，“doi”：“10.1145\/2263699.263717”｝]，“event”：｛“name”：“2015第30届IEEE\/ACM国际自动化软件工程会议（ASE）”，“location”：“Lincoln，NE，USA”，“start”：{“date-parts”：[[2015,11,9]]}，“end”，“date-parts”：[[2015,11,13]]}}，”container-title“：[”2015年第30届IEEE\/ACM国际自动化软件工程会议（ASE）“]，“original-title”：[]，“link”：[{“URL”：“http://explorestaging.iee.org\/ielx7\/737449\/737976\/073372041.pdf？arnumber=737 72041“，”内容类型“：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”}]，“存放”：｛“日期部分”：[[2017,6,24]]，“日期时间”：“2017-06-24T03:15:11Z”，“时间戳”：1498274111000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/ieexplore.ieee.org/document\/77372041\/”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2015,1 1]]}中，“references-count”：14，“URL”：“http://\/dx.doi.org\/10.109\/ase.2015.75”，“relation”：{}，“subject”：[]，“published”：{“date-parts”：[[2015,11]]}}}