｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,4]]，“date-time”：“2024-09-04T23:58:20Z”，“timestamp”：1725494300425｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：22，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“type”：“print”，“value”：“9783540755951”｝]，“content domain”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_19”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“：”253-267“，”source“Crossref”，“is-referenced-by-count”：14，“title“”：[“对策略有表达约束的并发游戏的一般构造性解决方案”]，“前缀”：“10.1007”，“作者”：[{“given”：“Sophie”，“family”：“Pinchinat”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[}“key”：，“DOI”：“10.1007\/11817963_8”，“volume-title”：“CAV”，“author”：“B.T.Adler”，“year”：“2006”，“unstructured”：“Adler，B.T.，de Alfaro，L.，da Silva，L.D.，Faella，M.，Legay，A.，Raman，V.，Roy，P.：Ticc：接口兼容性和组合工具。In:Ball，T.，Jones，R.B.（eds.）CAV 2006。LNCS，第u00a04144卷，第59\u201362页。Springer，Heidelberg（2006）“}，{“问题”：“5”，“关键”：“19_CR2”，“doi-asserted-by”：“出版商”，“首页”：“672”，“doi”：“10.1145\/585265.58270”，“卷”：“49”，“作者”：“R.Alur”，“年份”：“2002”，“非结构化”：“Alur，R.，Henzinger，T.A.，Kupferman，O.：交替时间逻辑。ACM\u00a049（5），672\u 2013713（2002）“，“新闻标题”：”ACM杂志“}，{“key”：“19_CR3”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0049-237X（01）80001-X”，“volume-title”：“mu-calculus的雏形”，“author”：“A.Arnold”，“year”：“2001”，“unstructured”：“Arnold，A.，Niwinski，D.：mu-calpulus的萌芽。North-Holland，Amsterdam（2001）”}，“key“：”19_CR4“series-title”“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-70918-3_17“，”volume-title“：”STACS 2007“，”author“：”D.Berwanger“，”year“：”2007“，“unstructured”：“Berwanger-，D.：无限游戏中的可接受性。作者：Thomas，W.，Weil，P.（编辑）STACS 2007。LNCS，vol.\u00a04393，Springer，Heidelberg（2007）“}，{“key”：“19_CR5”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：《413》，“doi”：“10.1007\/11539452_32”，“volume-title”：《CONCUR 2005》，“author”：“K.Chatterjee”，“year”：“2005”，“unstructured”：“查特吉，K.：两人非零和ω-常规游戏。收录：Abadi，M.，de Alfaro，L.（编辑）CONCUR 2005。LNCS，第00a03653卷，第413页\u2013427。Springer，Heidelberg（2005）“}，{”key“：”19_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“59”，”doi“：”10.1007\/978-3-540-74407-8_5“，”volume-title“：“CONCUR 2007”，”author“：”K.Chatterjee“，”year“：”2007“，”unstructured“：”Chatterjee，K.，Henzinger，T.A.，Piterman，N.：战略逻辑。收录：Caires，L.，Vasconcelos，V.T.（编辑）CONCUR 2007。LNCS，第u00a04703卷，第59\u201373页。Springer，Heidelberg（2007）“}，{”issue“：”1“，”key“：”19_CR7“，”doi-asserted-by“：”publisher“，”first page“：“77”，“doi”：“10.1016\/0304-3975（94）90269-0”，“volume”：“126”，“author”：“M.Dam”，“year”：“1994”，“unstructured”：“Dam，M.：CTL\u22c6和ECTL\u22c 6作为模态\u03bc-calculus.理论计算机科学\u00a012的片段6（1），77\u201396（1994）“，”journal-title“：”理论计算机科学“}，{“key”：“19_CR8”，“doi-asserted-by”：“publisher”，“first page”：”175“，“doi”：“10.1016\/S0019-9958（84）80047-9”，”volume“：”61“，”author“：”E.A.Emerson“，”year“：”1984“，”unstructured“：”Emerson，E.A.，Sistla，A.P.：决定全分支时间逻辑。信息与控制\u00a061，175\u2013201（1984）“，”journal-title“：”Information and Control“}，{”issue“：”1“，”key“：”19_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”93“，”doi“：”10.1016\/j.tcs.2005.07.043“，”volume“：Goranko，V.，van Drimmelen，G.：交替时间时序逻辑的完全公理化和可判定性。理论计算机科学\u00a0353（1），93\u2013117（2006）“，”杂志标题“：”理论计算机科学“}，{“key”：“19_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page:”195“，”doi“：”10.1007\/BFb0028745“，”volume-title“：”计算机辅助验证“，”作者“：”T.A.Henzinger“，”年份“：”1998“，”非结构化”：“Henzinger，T.A.，Kupferman，O.，Qadeer，S.：从历史到现代符号模型检查。收录：Vardi，M.Y.，Hu，A.J.（编辑）CAV 1998。LNCS，第u00a01427卷，第195\u2013206页。Springer，Heidelberg（1998）“}，{“问题”：“3”，“关键”：“19_CR11”，“doi-asserted-by”：“出版商”，“首页”：“119”，“doi”：“10.1016\/S0020-0190（98）00150-1”，“卷”：“68”，“作者”：“M.Jurdzi\u0144ski”，“年份”：“1998”，“非结构化”：“Jurdzi\u0144ski，M.：决定平价游戏的胜利者是UP\u00a0\u2229\u00a 0co-UP。信息处理信件\u00a068（3），119\u2013124（1998）“，”journal-title“：”Information Processing Letters“}，{”issue“：”3“，”key“：”19_CR12“，”doi-asserted-by“：”publisher“，”first page“：“333”，“doi”：“10.1016\/0304-3975（82）90125-6”，“volume”：“27”，“author”：“D.Kozen”，“year”：“1983”，“unstructured”：“Kozen，D.：命题\u03bc-calculus的结果。理论计算机科学\u00a027（3），333\u2013354（1983）“，“期刊标题”：“理论计算机科学”}，{“key”：“19_CR13”，“首页”：“646”，“volume-title”：“AAMAS 2004”，“author”：“M.Kacprzak”，“year”：“2004年”，“unstructured”：“Kacprzak，M.，Penczek，W.：交替时间时序逻辑的无边界模型检查。收录于：Kudenko，D.，Kazakov，D.，Alonso，E.（编辑）AAMAS 2004，第646\u2013653页。IEEE Computer Society，Los Alamitos（2004）“}，{”issue“：“2”，”key“：“19_CR14”，”doi-asserted-by“：”publisher“，”first page“：”312“，”doi“：”10.1145 \/333979.333987“，”volume“:”47“，”author“：”O.Kupferman“，”year“：”2000“，”unstructured“：”Kupferman，O.，Vardi，M.Y.，Wolper，P.：分支时间模型检查的自动机理论方法。《美国计算机学会杂志》\u00a047（2），312\u2013360（2000）“，“期刊标题”：“美国计算机学会期刊”}，{“key”：“19_CR15”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：《243》，“doi”：“10.1007\/978-3-540-71389-0_18”，“volume-title”：《FOSSACS 2007》，“author”：“F.Laroussinie”，“year”：“2007”，“非结构化”：“Laroussinie，F.，Markey，N.，Oreiby，G.：关于\u00a0ATL的表现力和复杂性。收录：Seidl，H.（编辑）FOSSACS 2007。LNCS，第u00a04423卷，第243\u2013257页。Springer，Heidelberg（2007）“｝，｛”issue“：”1\u20132“，”key“：”19_CR16“，”doi断言“：”publisher“，”首页“：”69“，”doi“：”10.1016/0304-3975（94）00214-4“，”卷“：”141“，”作者“：”D.E.Muller“，”年份“：”1995“，”非结构化“：”Muller，D.E.，Schupp，P.E.：用非确定性自动机模拟交替树自动机：Rabin，McNaughton和Safra定理的新结果和新证明。理论计算机科学\u00a0141（1\u20132），69\u2013107（1995）“，“新闻标题”：“理论计算机科学”}，{“键”：“19_CR17”，“非结构化”：“Pinchinat，S.：策略表达约束的并发游戏的通用构造解决方案（完整版）2007年8月IRISA Internal Publication 1861，INRIA Research Report（待出版）“}，{”key“：”19_CR18“，”doi-asserted-by“：”publisher“，”first page“：“1”，”doi“：”10.2307\/1995086“，”volume“：拉宾，M.O.：无限树上二阶理论和自动机的可判定性。事务处理。阿默尔。数学。Soc.\u00a0141，1\u201335（1969）“，“日记标题”：“事务处理。阿默尔。数学。Soc.“}，{”key“：”19_CR19“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“642”，“doi”：“10.1007\/978-3-540-45138-9_58”，“volume-title”：“MFCS”，“author”：“S.Riedweg”，“year”：“2003”，“unstructured”：“Riedweg，S.，Pinchinat，S.：控制合成的量化微积分。收录：Rovan，B.，Vojt\u00e1\u0161，P.（编辑）MFCS 2003。LNCS，卷\u00a02747，第642\u2013651页。Springer，Heidelberg（2003）“}，{”key“：”19_CR20“，”series-title“：”计算机科学讲义“，”volume-title“：“CSL 2006”，“author”：“S.Schewe”，“year”：“2006”，”unstructured“：”Schewe，S.，Finkbeiner，B.：交替时间\u03bc-calculus的可满足性和有限模型性质。in:\u00c9sik，Z.（ed.）CSL 2006。LNCS，vol.\u00a04207，Springer，Heidelberg（2006）“}，{”key“：”19_CR21“，”first page“：“208”，”volume-title“：”LICS“，”author“：”G.Drimmelen van“，”year“：”2003“，”unstructured“：”van Drimmeren，G.：交替时间逻辑中的可满足性。in:LICS，pp.208\u2013217。IEEE计算机学会，Los Alamitos（2003）“｝，｛”key“：”19_CR22“，”doi asserted by“：”crossref“，”非结构化“：”Wilke.T:交替树自动机、奇偶博弈和模态\u03bc微积分。Bull.Soc.Math.Belg.\u00a08（2）（2001年5月）“，”doi“：”10.36045\/bbms\/1102714178“｝]，”容器标题“：[计算机科学讲义”，“验证和分析自动化技术“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-75596-8_19.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2020,11,19]]，“date-time”：“2020-11-19T05:26:53Z“，”timestamp“：1605763613000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-75596-8_19”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[[null]]}，‘ISBN’：[”9783540755951“]，”references-count“：22，”URL“：”http://\/dx.doi.org \/10.1007\/978-3-540-75596-8_19“，”关系“：{}，”主题“：[]}}