{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,4,4]]，“日期时间”：“2024-04-04T17:11:35Z”，“时间戳”：1712250695886}，“引用-计数”：44，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2004]]}，“DOI”：“10.1109\/lics.2004.1319628”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2004,11,13]]，“date-time”：“2004-11-13T00:14:14Z”，“timestamp”：1100304854000}，“source”：”Crossref“，“is-referenced-by-count”：28，“title”：[“存在用于分支时间模型检查的有限抽象”]，“prefix”：“10.1108”，“author”：[{“给定”：“D.”，“family”：“Dams”“”，“sequence”：“first”，“affiliation”：[]}，{“given”：“K.S.，“文章标题”：“程序间模拟的代数定义”，“author”：“milner”，“year”：“1971”，“journal-title”：“IJCAI III”}，{“key”：“17”，“doi-asserted-by”：“publisher”，”doi“：“10.1016\/0167-6423（87 LNCS第2102卷CAV“}，{“key”：“18”，“article-title”：“关于？-演算片段的模型检查”，“volume”：”697“，“author”：“emerson”，“year”：“1993”，“journal-title“：”LNCS的CAV Vol 697“}，{“key”：“33”，“article-title”：“分支时间求精的合成理论”，“au作者”：“manolios”，“年份”：“2003”，“日记标题”：“CHARME”}，}“key:”15“，”doi-asserted by“：”publisher“，“DOI”：“10.1109\/SFCS.1991.185392”}，{“key”：“34”，“DOI-asserted-by”：“publisher”，“DOI:”10.1109\/LICS.2001.932512“}”，{”key“：“16”，“article-title”：“命题mu-calculus片段的高效模型检查”，“author”：“emerson”，“year”：“1986”，“journal-title“：”LICS“}，”{“key”：”39“，“DOI-asserted-by”：”publisher“，“DOI”：“10.1109\/SFCS.1977.32”}，{“键”：“13”，“doi-asserted-by”：“crossref”，“doi”：“10.1007\/3-540-15648-8_7”，“article-title”：“Automata，tableaux and temporal logics”，“volume”：“193”，”author“：”emerson“，”year“：”1985“，”journal-title“：”LNCS第193卷程序逻辑“}，{“key”：”14“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/B978-0-444-88074-1.50021 4“}，{”key“：”37“，”doi-asserted-by“：“publisher”，“DOI”：“10.1007\/978-3-540-45069-6_29”}，{“key”：“11”，“author”：“dams”，“year”：“1996”，“期刊标题”：“模型检查的抽象解释和分区精化”}，{“key”：“38”，“publisher断言的DOI”，“DOI”：“10.1007\/BFB017309”}，{“key”：“12”，“文章标题”：“游戏的三值抽象：不确定性，但有精度”，“author”：“de alfaro”，“year”：“0”，“journal-title”：“LICS'04”}，{“key”：“21”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/177492.177725”}、{“key”：”20“，“doi-asserted-by”：”crossref“，”doi“：”10.1007\/3-540-36384-X18“，”article-title“On the expressiveity of 3-valued models”，“volume”：“：”godefroid“，”year“：”2003“，”journal-title“：“验证模型检查和抽象解释”}，{“key”：“43”，“doi-asserted-by”：“crossref”，“author”：“stirling”，“year”：“2001”，“journal-title”：“过程的模态和时间属性”，“doi”：“10.1007\/978-1-4757-3550-5”}，“journal-title”：“TACAS Volume 2988 of LNCS”}，{“key”：“41”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/514188.514190”}“新闻标题”：“第五届LNCS第137卷编程国际研讨会论文集”}，{“key”：“44”，“author”：“uribe”，“year”：“1999”，“journal-title”：“基于抽象的演绎算法验证反应系统”}：“10.1109\/SWAT.1972.28”}，{“key”：“24”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S090129504004268”}“：”27“，”article-title“：”模块化模型检查“，”volume“：”1536“，”author“：”kupferman“，”year“：“1997”，“journal-title”：“LNCS的COMPOS Vol 1536”}，{“key”：“28”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/333979.333987”}{“key”：“2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SFCS.1997.646098”}，{“key”：“10”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/244795.244800”}，{“key”：“1”，“article-title”：“交替求精关系”，“volume”：”1466“，“author”：“alur”，”year“：”1998“，”journal-title“：”CONCUR Vol 1466 of LNCS“}，“key“：”30“，”doi-assert-by“：”publisher“，”doi“：”10.1109\/LICS.1990.113738“}，{“key”：“7”，“article-title”：“使用分支时间时序逻辑设计和合成同步骨架”，“author”：“clarke”，“year”：“1981”，“journal-title”：“LNCS第131卷程序逻辑研讨会”}，{“key”：“6”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2001.932516”}5英寸，“article-title”：“用三值时态逻辑检查部分状态空间的模型”，“volume”：“1633”，“author”：“bruns”，“year”：“1999”，“journal-title“：”LNCS的CAV Vol 1633“}，{“key”：”31“，“artice-title（文章-标题）：“CTL和LTL的公共片段”，“author”:“maidl”，“year”：”2000“，”journal-title“”：“FOCS”}，“{”key“：”4“，”doi-asserted-by“：”publisher“，”内政部“：“10.1016\/0304-3975（88）90098-9”}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/512950.512973”}：“2004年IEEE第19届计算机科学逻辑年会论文集”，“位置”：“芬兰图尔库”，“开始”：{“日期-部件”：[[2004,7,17]]}，“结束”：{“日期-零件”：[[204,7,17]]}}，”container-title“：[”第19届IEEE计算机科学逻辑研讨会论文集，2004年。“]，”原文标题“：[]，”链接“：[{”URL“：“http://\/xplorestaging.ieee.org\/ielx5\/9221\/29239\/0139628.pdf？arnumber=1319628”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,16]]，“date-time”：”2017-06-16T11:53:02Z“，”timestamp“1497613982000}，“score”：1，“resource”：{”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/1319628\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2004]]}，”引用计数“：44，”URL“：”http://\/dx.doi.org\/10.109\/lics.2004.1319628“，”关系“：{}”，“主题”：[]]，“发布”：}“日期部件”：[[2004]]}}}