｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,9,19]，“日期时间”：“2024-09-19T15:13:04Z”，“时间戳”：1726758784881｝，“引用计数”：16，“发布者”：“IEEE”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的打印”：｛“日期部分”：[[2007]]｝，“DOI”：“10.1109\/lics.2007.8”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2008,7,18]]，“date-time”：“2008-07-18T12:49:29Z”，“timestamp”：1216385369000}，“page”：”171-180“，“source”：：“Crossref”，“is-referenced-by-count”：21，“title”：[“A New Efficient Simulation Equivalence Algorithm”]，“prefix”：”10.1109“，“volume”:“697”，“author”：[{“给定”：“弗朗西斯科”，“家族”：“Ranzato”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Francesco”，“family”：“Tapparo”“title”：“有限和无限图的计算模拟”，“author”：“henzinger”，“year”：“1995”，“journal-title”：“Proc 36th FOCS”}，{“key”：“ref12”，“first-page”：“594”，“article-title“：“Why is simulation hardware than bismulation？”，“au作者”：“kucera”，“年份”：“2002”，“日记标题”：“Prog 13th CONCUR”}}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“DOI”：“10.1137\/0216062”}，{“key”：“ref15”，“DOI-asserted-by”：“publicher”，“DI:”10.1093\/logcom\/exl035“}，“key“：”ref16“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007\/3-540-45319-9_33“}86051“}，{“key”：“ref3”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/635499.635502”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/567752.567778”}，{“key”：”ref5“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/512950.512973“}，”{“key”：“ref8”，“doi-asserte-by”：“publisher”，“DI:”10.1023\/A:1027328830731“}”，{”key“：”ref7“，”首页“：”479“，“article-title”：“生成用于检查CTL片段的简化模型”，“volume”：“697”，“author”：“dams”，“year”：“1993”，“journal-title”：“Proc 5th CAV”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（88）90098-9”}、{“key”：“ref1”，“doi-asserte-by”：“publisher”，“DI:”10.1016\/0167-6423（95）00003-B“}，”{“key”：”ref9“，“first page”：“356”，“文章标题”：“抽象模型检查中的不完整性、反例和改进”，“卷”：“2126”，“作者”：“giacobazzi”，“年份”：“2001”，“日志标题”：“Proc 8th SAS”}，“事件”：{“名称”：“第22届IEEE计算机科学逻辑年会（LICS 2007）”，“开始”：{“date-parts”：[[2007,7,10]]}，”位置“Wroclaw，Poland”，“结束”：}“date-parts”：[2007,7,14]]}}，“container-title”：[“第22届IEEE计算机科学逻辑年会（LICS 2007）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/4276538\/4276632.pdf？arnumber=4276562”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,15]]，“日期时间”：“2017-03-15T16:18:31Z”，“时间戳”：1489594711000}，“分数”：1，“资源”：{“主要”：{“URL”：“http://\/ieeexplore.ieee.org\/document\/4276562\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2007]]}，‘引用计数’：16，”URL“http://”\/dx.doi.org\/10.109\/lics.2007.8“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2007]]}}}