{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,12,24]]，“日期-时间”：“2022-12-24T06:13:04Z”，“时间戳”：1671862384754}，“引用-计数”：34，“发布者”：“Elsevier BV”，“许可证”：[{“开始”：{-“日期-部分”：[2021,4,1]]，”日期-时间“：”2021-04-01T00:00:00 Z“，”timestamp“：1617235200000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}]，“资助者”：[{“名称”：“LIP6项目Parasol”}]、“内容域”：{“域”：[“elsevier.com”，“sciencedirect.com”]，“crossmark-restriction”：true}，“shortcontainer-title”：[”信息和计算“]，“published-print”：{“date-parts”：[2021,4]}，“内政部”：“10.1016\/j.ic.2020.104580”，“type”：“journal-article”，“created”：{“date-parts”：[[2020,4,1]]，“date-time”：“2020-04-01T15:02:59Z”，“timestamp”：1585753379000}，“page”：”104580“，”update-policy“：”http://\/dx.doi.org\/101016\/elsevier_cm_policy：[“多项式中断时间自动机：验证和表达”]，“前缀”：“10.1016”，“卷”：“277”，“作者”：[{“给定”：“B.”，“家族”：“B\u00e9rard”，“序列”：“第一”，“从属”：[]}，{“已知”：“S”，“家庭”：“Haddad”，“sequence”：“additional”，“affiliance”：[]}，}“给定的”：“C.”，“family”：“Picaronny”，从属关系“：[]}，{“given”：“M.”，“family”：“Safey El Din”，“sequence”：“additional”，“affiliation”：[]}，{“fixed”：“M”，“家庭”：“Sassolas”，“serquence”:“additionable”，“filiation“：[]2]，“member”：“78”，“reference”：[{“key”：”10.1016\/j.ic.2020.104580_br0010“，“series-title”：“第九届可及性问题国际研讨会（RP'15）会议记录”，“第一页”：“20”，“article-title”：“多项式中断时间自动机”，“volume”：“vol.9328”，“author”：“B\u00e9rard”，“year”：“2015”}，{“key”：”10.1016\/j.ic.2020.104580_br0020“，”series-title“：”Hybrid Systems“，”volume“：”vol.736“，”year“1993”}、{“key”：HSCC“，”首页“：”465“，“article-title”：“混合自动机的抽象系列”，“volume”：“vol.2289”，“author”：“Tiwari”，“year”：“2002”}，{“key”：”10.1016\/j.ic.2020.104580_br0040“，”doi-asserted-by“：”crossref“，”first page“：”183“，“doi”：“10.1016\/0304-975（94）90010-8”，“artice-title“：”时间自动机理论“，”volume“：“126”，“作者”：“Alur”，“year”：“1994”，“journal title”：“Theor.Comput.Sci.”}，{“issue”：“1”，“key”：“10.1016\/j.ic.2020.104580_br0050”，“doi-asserted-by”：“crossref”，“first-page”：“94”，“doi”：“101006\/jcss.1998.1581”，”article-title“：“关于混合自动机的决定因素是什么？”，“volume”：”57“author”：“Henzinger”，“year”：“1998”，“journal-title”：“j.Compute.Syst。科学“}，{”问题“：”1“，”键“：“10.1016\/j.ic.2020.104580_br0060”，“doi-asserted-by”：“crossref”，“first page”：“35”，“doi”：“10.106\/0304-3975（94）00228-B”，《文章标题》：“具有分段常导数的动力系统的可达性分析”，“卷”：“138”，”作者：“Asarin”，“年份”：“1995”，“日志标题”：“Theor.Comput.Sci.”}，{“key”：c.2020.104580_br0070“，“doi-asserted-by”：“crossref”，“first page”：“3”，“doi”：“10.1016\/0304-3975（94 by“：”crossref“，”first page“：”1“，”doi“：“10.1007\/PL00009858”，“article-title”：“O-minimal hybrid systems”，“volume”：“13”，“author”：“Lafferierre”，“year”：“2000”，“journal-title“：”Math.Control Signals Syst.“}，{”issue“：”7“，”key“：”10.1016\/j.ic.2020.104580_br0090“，”doi-asserted-by“：”crossref“，”first page“：“971”，“doi”：“10.1109\/5.871304”，“article-titel：“混合系统的离散抽象”，“volume”：“88”，“author”：“Alur”，“year”：“2000”，“journal-title”：“Proc.IEEE”}，{“issue”：“4”，“key”：”10.1016\/j.ic.2020.104580_br0100“，”doi-asserted-by“：”crossref“，”first page“：”447“，”author“：”Brihaye“，”year“：”2005“，“journal-title”：“J.Complex.”}，{“key”：“10.1016\/J.ic.2020.104580_br0110”，“series-title”：《第十二届软件科学与计算结构基础国际会议论文集》（FoSSaCS'09），“首页”：“197”，“article-title“：“中断时间自动机”，“卷”：“5504”，“作者”：“B\u00e9rard”，“年份”：“2009”}、{“问题”：“1”，“key”：“10.1016\/j.ic.2020.104580_br0120”，“doi-asserted-by”：“crossref”，“首页”：“41”，“doi”：“101007\/s10703-011-0140-2”，“article-title”：“中断时间自动机：验证和表达”，“卷”：“40”，“作者”：“B\u00e9rard”，“年份”：“2012”，“日志标题”：“表单方法系统设计”}，{“key“：”10.1016\/j.ic.2020.104580_br0130“，“series-title”：“第七届可达性问题研讨会论文集（RP’13）”，“首页”：“59”，“文章-标题”：“参数中断时间自动机”，“卷”：“卷8169”，“作者”：“B\u00e9rard”，“年份”：“2013”}，{“问题”：“5”，“关键字”：“10.1016\/j.ic.2020.104580_br0140”，“doi-asserted-by”：“crossref”，“第一页”：”233“，“doi”：“10.1016 \/j.ipl.2004.05.004“，“article-title”：“计算多项式程序不变量”，“volume”：“91”，“author”：“M\u00fcller-Olm”，“year”：“2004”，“journal-title“：”Inf.Process.Lett.“}，{“issue”：“3”，“key”：”10.1016\/j.ic.2020.104580_br0150“，”doi-asserted-by“：”crossref“，”first page“：”389“，”doi“：”10.1007\/s00165-012-025-25“，”article-title“：“证明非线性命令序列的终止”，“卷”：“25”，“作者”：“Babic”，“年份”：“2013”，“期刊标题”：“Form.Asp.Comput.”}，｛“key”：“10.1016\/j.ic.20210145580_br0160”，“系列标题”：“第38届计算机科学数学基础国际研讨会论文集（MFCS'13）”，“首页”：“409”，“文章标题”：“具有多项式更新的寄存器机器的可达性”，“卷”：“vol.8087”，“作者”：“Finkel”，“year”：“2013”}，{“key”：“10.1016\/j.ic.2020.104580_br0170”，“series-title”：“第十七届计算机辅助验证国际会议论文集（CAV'05）”，“首页”：“5”，“article-title”：“算法代数模型检查I：来自系统生物学的挑战”，“卷”：“卷3576”，“作者”：“Piazza”，“年份”：“2005”}，{“key”：“10.1016\/j.ic.2020.104580_br0180”，“series-title”：“第六届实时和容错系统形式技术国际研讨会论文集（FTRTFT'00）”，“首页”：“252”，“article-title”：“使用柱面代数分解分析斜率参数混合自动机”，“volume”：“vol.1926”，“author”：“Ad\u00e9la\u00efde”，“year”：“2000”}，{“issue”：“1”，“key”：”10.1016\/j.ic.2020.104580_br0190“，”doi-asserted-by“：”crossref“，”first page“：”2“，”doi“10.1006\/inco.1993.1024”，“article-title”：“密集实时模型检查”，“volume”：“104”，“author”：“Alur”，“year”：“1993”，“journal-title”：“Inf.Comput.”}，{“key”：《10.1016\/j.ic.2020.104580_br0200》，“series-title”：《第十一届并行理论国际会议论文集》（CONCUR'00），“首页”：“138”，《article-title》：“秒表令人印象深刻的力量”，“volution”：第1877卷，“auder”：“Cassez”，“年份”：“2000”}，{“key”：“10.1016\/j.ic.2020.104580_br0210”，“series-title”：“第三届混合系统国际研讨会论文集：计算与控制（HSCC'00）”，“首页”：“296”，“文章-标题”：“时间自动机和半线性混合自动机的可判定性和复杂性结果”，“卷”：“vol.1790”，“作者”：“Miller”，“年份”：“2000”}，{“key”：“10.1016\/j.ic.2020.104580_br0220”，“series-title”：“自动机理论与形式语言第二届GI大会”，“第一页”：“134”，“article-title”：“圆柱代数分解对实闭域的量词消去”，“volume”：《第33卷》，“author”：“Collins”，《year》：“1975”}，{“key”：：“实代数几何中的算法”，“author”：“Basu”，“year”：“2006”}，{“key”：“10.1016\/j.ic.2020.104580_br0240”，“作者”：“B\u00e9rard”}：“初等代数和几何的复杂性”，“author”：“Ben-Or”，“year”：“1984”}，{“key”：“10.1016\/j.ic.2020.104580_br0260”，“series-title”：“第十四届ACM计算理论年会论文集（STOC'82）”，“首页”：“169”，“文章标题”：“分支时间时序逻辑中的决策过程和表现力”，“author”：“Emerson”，“year”：“1982”}，{“key”：“10.1016\/j.ic.2020.104580_br0270”，“series-title”：“第五届国际程序设计研讨会论文集”，“首页”：“337”，“article-title”：《CESAR并发系统规范与验证》，“volume”：《第137卷》，“audor”：《Queille》，“year:”1982年“}”，{：“10.1016\/j.ic.2020.104580_br0280”，“doi-asserted-by”：“crossref”，“first page”：“193”，”doi“：”10.1006\/inco.1994.1045“，”article-title“：”实时系统的符号模型检查“，”volume“：”111“，”author“：”Henzinger“，”year“1994”，“journal-title”：“Inf.Comput.”}，{“issue”：“1”，“key”：”10.1016//j.ic.2020 0.104580 _br0290“，”doi-asserted-by“：”crossref“，“首页”：“71”，“DOI”：“10.1007\/BF02570696”，“article-title”：“半Pfaffian集分层的复杂性”，“卷”：“14”，“作者”：“Gabrielov”，“年份”：“1995”，“日记标题”：“离散计算几何”}，{“key”：“101016\/j.ic.2020.104580_br0300”，“series-title”：“微分方程正规形式、分岔和有限性问题的处理”，“第一页”：“211”，“文章-标题”：“Pfaffian和Noetherian函数的计算复杂性”，“卷”：“第137卷”，“作者”：“Gabrielov”，“年”：“2004”}，{“问题”：“01”，“关键”：“10.1016\/j.ic.2020.104580_br0310”，“doi-asserted-by”：“crossref”，”第一页“27”，“DOI”：“10.1112\/S0024610703004939”，“article-title”：“半代数和亚Pfaffian集的Betti数”，“volume”：“69”，“author”：“Gabrielov”，“year”：“2004”，“journal-title“：”J.Lond.Math.Soc.“}，{”key“：”10.1016\/J.ic.2020.104580_br0320“，”series-title“：“计算障碍的逻辑方法”，“首页”：“267”，“article-title”“”：“Pfaffian混杂系统有限双模拟大小的上下界”，“author”：“Korovina”，“year”：“2006”}，{“issue”：“7”，“key”：“10.1016\/j.ic.2020.104580_br0330”，“doi-asserted-by”：“crossref”，“first page”：“Hong”，“year”：“2012”，“journal-title”：“J.Symb.Comput.”}，{“key”：“10.1016\/J.ic.2020.104580_br0340”，“author”：“Miller”}]，“container-title“：[”Information and Computation“]，”original-tittle“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0890520300687？httpAccept=text\/xml”，“content-type”：“text”\/xml“，”content-version“：”vor“，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https:\/\/api.elsevier.com\/content\/article\/PII:S0890540120300687？httpAccept=text\/plain”，“内容类型”：“text\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，“存放”：｛“日期部分”：[[2021,3,19]]，“日期时间”：“2021-03-19T03:56:32Z”，“时间戳”：1616126192000｝，“分数”：1，“resource”：{“primary”；{“URL”：“https:\/\/linkinghub.elsevier.com/retrieve\/pii\/S0890540120300687”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2021,4]]}，”references-count“：34，”alternative-id“：[”S08905401200687“]，”URL“http://\/dx.doi.org\/10.1016\/j.ic.202 0.104580“，”关系“：{}，”ISSN“：[”0890-5401“]，”ISSN-type“：[{”value“：“0890-5401”，“type”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2021,4]]}，“assertion”：[{“value”：”Elsevier“，”name“：”publisher“，”label“：”This article is maintained by“}，{“value”：“多项式中断时间自动机：Verification and expressivence”，“name”：“articletite”，“label”：“article Title”}，”{“value“：”Information and Computation“，”name“：“journaltle”，“label”：“Journal Title”}，{“value”：“https:\/\/doi.org\/101016\/j.ic.2020.104580”，“name”：“articlelink”，“标签”：“CrossRef doi link to publisher maintained version”}、{“value”：“文章”，“名称”：“content_type”，“table”：“content-type”}，“商品编号”：“104580”}}