{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,5,26]]，“日期时间”：“2023-05-26T15:40:04Z”，“时间戳”：1685115604607}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642040801”，“类型”：“打印”}，{“值”：“9783642040818”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2009,1,1]]，“date-time”：“2009-01T00:00:00Z”，“timestamp”：1230768000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\/\/www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”用法：{“date-parts”：[[2009]]}，“DOI”：“10.1007\/978-3642-04081-8_36”，“type”：“book-chapter”，“created”：{”date-part“：[[2009，8，31]]，“date-time”：“2009-08-31T16:27:08Z”，“timestamp”：1251736028000}，”page“：”542-556“，”source“Crossref”，“is-referenced-by-count”：6，“title”：[“Computing Stuttering Simulations”]，“prefix”：“10.1007”，“作者”：[{“给定”：“弗朗西斯科”，“家族”：“Ranzato”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Francesco”，“family”：“Tapparo”，“序列”：“additional”，“从属关系”：[]}]，“member”：“297”，“reference”：[{“key”：”36_CR1“，”doi-asserted-by“：”publisher“，“首页”：“115”，“doi”：“10.1016\/0304-3975（88）90098-9”，《卷》：“59”，“作者”“：”M.C.Browne“，”年份“：”1988“，”非结构化“：“Browne，M.C.，Clarke，E.M.，Grumberg，O.：表征命题时态逻辑中的有限Kripke结构。Theor.Comp.Sci.\u00a059，115\u2013131（1988）”，“期刊标题”：“Theor.COM.Sci.”}，{“key”：“36_CR2”，“unstructured”：“Bulychev，P.E.，Konnov，I.V.，Zakharov，V.A.：计算（bi）对于普通和普通Kripke结构，保持CTLS*-X的模拟关系。俄罗斯科学院系统编程研究所数学方法与算法，第\u00a012卷（2007年），http://\/lvk.cs.msu\/~peterbul“}，{“key”：“36_CR3”，“volume-title”：“Introduction to Algorithms”，“author”：“T.H.Cormen”，“year”：“2001”，“unstructured”：“Cormen，T.H.，Leiserson，C.E.，Rivest，R.L.，Stein，C.：算法导论，第二版。麻省理工学院出版社和McGraw-Hill，剑桥（2001）“，”edition“：”2“}，{”issue“：”3“，”key“：”36_CR4“，”doi-asserted-by“：”publisher“，”first-page“：”458“，”doi“：”10.1145\/201019.201032“，”volume“：“42”，”author“：”R.Nicola De“，“year”：“1995”，”unstructured“：”De Nicola，R.，Vaandrager，F.：分支模拟的三种逻辑。J.ACM\u00a042（2），458\u2013487（1995）“，”journal-title“：”J.ACM“}，{“issue”：“5”，“key”：“36_CR5”，”doi-asserted-by“：”publisher“，”first page“：”1159“，”doi“：”10.1137\/S0097539703420675“，”volume“：“34”，“author”：“K.Etessami”，“year”：“2001”，“unstructured”：“Etessam，K.，Wilke，T.，Schuler，R.A.：Buchi自动机的公平模拟关系、奇偶博弈和状态空间缩减。SIAM J。计算。\u00a034（5），1159\u20131175（2001）“，“新闻标题”：“SIAM J.Compute。“}，{”key“：”36_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“626”，”doi“：”10.1007\/BFb0032063“，”volume-title“：“自动机、语言和编程”，”author“：”J.F.Groote“，”year“：”1990“，”unstructured“：”Groote，J.F.，Vaandrager，F.：分支互模拟和断续等价的有效算法。作者：Paterson，M.（编辑）ICALP 1990。LNCS，第u00a0443卷，第626\u2013638页。Springer，Heidelberg（1990）“}，{“key”：“36_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Henzinger，M.R.，Henzinger，T.A.，Kopke，P.W.：有限和无限图的计算模拟。In:Proc.36$^{\\mathit{th}}$FOCS，pp.453\u2013462（1995）”，“doi”：“10.1109\/SFCS.1995.492576”}，“{”key“：”36_CR8“，”doi-assert-b y“：”crossref“，”非结构化“：”Lamport，L.：时间逻辑有什么用？在：信息处理1983。IFIP，pp.657\u2013668（1983）“，“DOI”：“10.1145\/2402.322398”}，{“key”：“36_CR9”，“unstructured”：“Manolios，P.：反应系统的机械验证。德克萨斯大学奥斯汀分校博士论文（2001）”}Nejati，S.、Gurfinkel，A.、Chechik，M.：模型检查的断断续续抽象。摘自：第三届IEEE软件工程与形式方法国际会议（SEFM 2005），第311\u2013320页（2005）“，”DOI“：”10.1109\/SEFM.2005.44“}，{“key”：“36_CR11”，“first page”：”171“，”volume-title“：”Proc.22nd IEEE Symp.on Logic In Computer Science（LICS 2007）“，“author”：“F.Ranzato”，“year”：“2007”，“unstructured”：“Ranzato，F.，Tapparo，F.：一种新的高效模拟等效算法。In：程序。第22届IEEE Symp。《计算机科学中的逻辑》（LICS 2007），第171\u2013180页。IEEE Press，Los Alamitos（2007）“}，{”issue“：“5”，”key“：“36_CR12”，”doi-asserted-by“：”publisher“，”first page“：”620“，”doi“：”10.1016\/j.ic.2008.01.01“，“volume”：“206”，“author”：“F.Ranzato”，“year”：“2008”，“unstructured”：“Ranzato，F.，Tapparo，F.：通过抽象解释概括Paige-Tarjan算法。信息与计算\u00a0206（5），620\u2013651（2008）“，”journal-title“：”Information and Computation“}]，”container-title”：[“CONCUR 2009-并发理论”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-04081-8_36”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2023,5,26]]，“日期时间”：“2023-05-26T14:58:52Z”，“时间戳”：1685113132000}，“分数”：1，“资源”：}“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-04081-8_36”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2009年]]}，国际标准书号“：[”9783642040801“，”978364 2040818“]，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-04081-8_36“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，”type“:”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2009]]}}}