{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,3,4]]，“日期-时间”：“2024-03-04T14:02:31Z”，“时间戳”：1709560951587}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：21，“出版者”：“ACM”，“资助者”：[{“DOI”：“10.13039\/501000000288”，“名称”：“皇家学会“，”DOI-asserted-by“：”publisher“，“奖项”：[“IE110996”]}，{“DOI”：“10.13039\/501100004281”，“name”：“Narodowe Centrum Nauki”，“DOI-asserted-by”：“publisher”，“奖项“：[”2012\/05\/N\/ST6\/03226“]}”，{”name“：“Linnaeus卓越中心UPMARC，Uppsala多核架构研究中心编程”}]，“content-domain”：{“domain”:[”dl.acm.org“]，“交叉标记限制”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2014,7,14]]}，“DOI”：“10.1145\/2603088.2603100”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2014,7,28]]，“date-time”：“2014-07-28T13:21:45Z”，“timestamp”：140655375000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark”policy“，”source“：”Crossref“，”is-referenced-by-count“：4，“title”：[“无限状态能量游戏”]，“prefix”：“10.1145”，“author”：[{“given”：“Parosh Aziz”，“family”：“Abdulla”，“sequence”：“first”，“affiliation”：[{“name”：“Uppsala University，Sweden”}]，{“given”：“Mohamed Faouzi”，“family”：“Atig”，“sequence”：“additional”，“affiliation”：[{“name”：“Uppsala University，Sweden”}]，{“given”：“Piotr”，“family”：“Hofman”，“sequence”：“additional”，“affiliation”：[｛“name”：“University of Bayreuth，Germany”｝]｝，｛“give”：“Richard”，“family”：“Mayr”，“sequence”：“additional”，“affiliation”：[｛“name”：“University of Edinburgh，UK”｝]｝，｛“give”：“K.Narayan”，“family”：“Kumar”，“sequence”：“additional”，“affiliation”：[｛“name”：“Chennai Mathematical Institute，India”｝]｝，｛“give”：“Patrick”，“family”：“Totzke”，“sequence”：“additional”，“affiliation”：[{“name”：“University of Edinburgh，UK”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2014,7,14]]}，“reference”：[}“key”：“e_1_3_2_1_1_1_1”，“doi-asserted-by”：”publisher“，“doi”：“10.1007\/978-3642-40184-8_9”}，{“key”：“e_1_3_2_1_1“，”doi-asserted-by“：”crossref“，”非结构化“：“S.Almagor U.Boker和O.Kupferman。加权自动机的可判定性是什么？在ATVA第6996卷LNCS第482页中。Springer 2011.“，”DOI“：”10.1007\/978-3642-24372-1_37“}，{“key”：“e_1_3_2_1_3_1”，“series-title”：“LNCS”，“first page”：”135“，”volume-title“：”CONCUR“，”author“：”Bouajjani A.“，”year“：”1997“，”unstructured“：”A.Bouajjiani，J.Esparza，and O。马勒。下推自动机的可达性分析：在模型检查中的应用。在CONCUR中，LNCS第1243卷，第135-150页。施普林格，1997年。A.Bouajjani、J.Esparza和O.Maler。下推自动机的可达性分析：在模型检查中的应用。在CONCUR中，LNCS第1243卷，第135-150页。Springer，1997.“}，{”key“：”e_1_3_2_1_4_1“，”series-title“：“LNCS”，“volume-title”：“ICALP'10”，“author”：“Br\u00e1zdil T.”，“year”：“2010”，“unstructured”：“T.Br\u001zdil，P.Jan\u010dar，and A.Ku\u010dera。带状态的扩展向量加法系统的可达性对策。在ICALP'10中，LNCS的第6199卷。Springer和P。Jan\u010dar和A.Ku\u010dera。带状态的扩展向量加法系统上的可达性对策。在ICALP’10中，LNCS第6199卷。Springer，2010.“}，{“issue”：“6”，“key”：“e_1_3_2_1_5_1”，“首页”：“71”，“卷”：“68”，“作者”：“Cachat T”，“年份”：“2002”，“非结构化”：“T.Cachat.前缀可识别图上奇偶博弈的统一解。ENTCS.，68（6）：71--84，2002.T.Cachart.前缀可以识别图上的奇偶博弈统一解：71-842002。”，“新闻标题”：“ENTCS。“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.tcs.2012.07.038”}，“key”：“e_1_ 3_2_1 _7_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/LICS.2012.30“}184-8_35“}，{“key”：“e_1_3_2_1_9_1”，“series-title”：“LIPIcs”，“首页”：“505”，“volume-title”：FSTTCS’10”，“作者”：“Chatterjee K.”，“年份”：“2010”，“非结构化”：“K.Chatterjie，L.Doyen，T.Henzinger，and J.F.Raskin。广义平均分摊和能量博弈。在FSTTCS’10，LIPIcs第8卷，LZI，第505-516页，2010年。K.Chatterjee、L.Doyen、T.Henzinger和J.-F.Raskin。广义平均分摊和能量博弈。在FSTTCS’10，LIPIcs第8卷，LZI，第505--516页，2010年。“}，{”key“：”e_1_3_2_1_10_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007 \/978-3642-32940-1_10”}，“key”：“e_1_ 3_2_11_1”，“series-title”：“LNCS”，“volume-title”：”CAV“，”author“：”Esparza J.，“year”：“2000”，“unstructured”：“J.”帕尔扎、D.Hansel、P.Rossmanith和S。施温。用于模型检查下推系统的有效算法。在CAV中，LNCS第1855卷。斯普林格，2000年。J.Esparza、D.Hansel、P.Rossmanith和S.Schwoon。模型检查下推系统的有效算法。在CAV中，LNCS第1855卷。Springer，2000.“}，{”key“：”e_1_3_2_12_1“，”first page“：“3”，”volume-title“：”The linear time--branching time spectrum I“，”author“：”Glabeek R.v.“，”year“：”2001“，”unstructured“：”R.v.Glabeek.The linear time--branchinging time pectrum I；The semantical of concrete，sequential process.In J.Bergstra，A.Ponse，and S。Smolka，编辑，《过程代数手册》，第1章，第3-99页。Elsevier，2001年。R.诉格拉贝克。线性时间分支时间谱I；具体、连续过程的语义。在J.Bergstra、A.Ponse和S.Smolka，编辑，《过程代数手册》，第1章，第3-99页。爱思唯尔，2001年。”}，{“密钥”：“e_1_3_2_1_13_1”，“doi断言者”：“出版商”，“doi”：“10.1109\/LICS.2009.37”}，{“密钥”：“e_1_3_2_14_1”，“系列标题”：“LIPIcs”，“首页”：“515”，“卷标题”：“FSTTCS'13”，“作者”：“Hofman P.”，“年份”：“2013”，“非结构化”：“P.Hofman，S.Lasota，R.Mayr，and P。托茨克。单计数器网络上的模拟是PSPACE完成的。在FSTTCS’13，LIPIcs第24卷，LZI，第515-526页，2013年。P.Hofman、S.Lasota、R.Mayr和P.Totzke。单计数器网络上的模拟是PSPACE完成的。在FSTTCS’13，LIPIcs，LZI，第24卷，第515--526页，2013年。Moller和Z.Sawa。单计数器机器的模拟问题。在SOFSEM，LNCS第1725卷，第404-413页，1999年。“，“日志标题”：“单计数器机器的模拟问题。在SOFSEM“}中，{“key”：“e_1_3_2_1_16_1”，“series-title”：“LNCS”，“首页”：“334”，“卷时间”：“STACS”，“作者”：“Jan\u010dar P.”，年份：“2000”，“非结构化”：“P.Jan\u101dar，A.Ku\u010dera，and F。莫勒。单计数器进程上的模拟和互模拟。在STACS中，LNCS第1770卷，第334-345页。斯普林格，2000年。国际标准图书编号（ISBN）3-540-67141-2。URL http://\/portal.acm.org\/citation.cfm？id=646514.695814。P.Jan\u010dar、A.Ku\u010dera和F.Moller。单计数器进程上的模拟和互模拟。在STACS中，LNCS第1770卷，第334-345页。斯普林格，2000年。国际标准图书编号（ISBN）3-540-67141-2。URL http://\/portal.acm.org\/citation.cfm？id=646514.695814.“}，{”key“：”e_1_3_2_18_1“，”series-title“：”LNCS“，”first page“：“387”，“volume-title”：“CAV”，“author”：“Piterman N.”，“year”：“2004”，“unstructured”：“N.Piterman and M.Vardi.无限状态系统的全局模型检验。在CAV中，LNCS的第3114卷，第387--400页。Springer，2004.N.Piterman和M。瓦尔迪。无限状态系统的全局模型检查。在CAV中，LNCS第3114卷，第387-400页。Springer，2004.“}，{”key“：”e_1_3_2_1_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/11690634_23”}，“key”：“e_1_ 3_2_1_20_1”，“doi-assert-by”：“publisher”，”doi“：”10.1093\/jigpal\/7.1.103“}”，{tle“：”FSTTCS“，”author“：”Walukiewicz I“，”year“：”2000“，”unstructured“：”I“。瓦卢基维奇。模型检查下推系统的ctl属性。在FSTTCS中，LNCS第1974卷，第127-138页。斯普林格，2000年。一、Walukiewicz。模型检查下推系统的ctl属性。在FSTTCS中，LNCS第1974卷，第127-138页。Springer，2000.“}，{”key“：”e_1_3_2_1_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1006\/inco.2000.2894“}]，“event”：{“name”：“CSL-LICS‘14:第二十届EACSL计算机科学逻辑年会联席会议”，“location”：“Vienna Austria”，“缩写词”：“CS L-LICS’14”，“赞助商”：[“SIGLOG ACM逻辑与计算特别兴趣小组”，“EACSL欧洲计算机科学逻辑协会”，“IEEE-CS\\DATC IEEE计算机协会”，“SIGACT ACM算法和计算理论特别兴趣小组”，“容器标题”：[“第二十三届EACSL计算机科学逻辑年会（CSL）联席会议记录和第二十九届ACM\/IEEE计算机科学逻辑年度研讨会（LICS）“]，”原标题“：[]，”链接“：[｛”URL“：”https:\/\/dl.ACM.org/doi\/pdf\/10.1145\/2603088.2603100“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2023,1,8]，”日期时间“：”2023-01-08T19:03:45Z“，”timestamp“：1673204625000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603100”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2014,7,14]]}，《references-count》：21，“alternative-id”：[“10.1145\/260382.603100”，“10.1145”/2603088“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2603088.2603100“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2014,7,14]]}，“断言”：[{”值“：”2014-07-14“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}}}