{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:26Z”，“时间戳”：1725558986118}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_20“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T18:44:5 9Z“，”时间戳“：1278873899000}，”页面“：”301-316“，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“区间持续时间逻辑的有限有效性检查”]，“prefix”：“10.1007”，”author“：[{”given“：”Babita“，”family“：”Sharma“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Paritosh.K.“”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“20_CR1”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/3-540-36135-9_16“，”volume-title“：”Networked and Distributed Systems的形式化技术-FORTE 2002“，”author“：”G.Audemard“，”year“2002”，“unstructured”：“Audemard，G.，Cimatti，A.，Kornilowicz，A.，Sebastiani，R.：时间系统的有界模型检验。收录：Peled，D.A.，Vardi，M.Y.（编辑）FORTE 2002。LNCS，vol.\u00a02529，Springer，Heidelberg（2002）“}，{“key”：“20_CR2”，“series-title”：“计算机科学讲义”，“volume-title”：”CAV“，“author”：“A.Ayari”，“year”：“2000”，“unstructured”：“Ayari，A.，Basin，D.：一元二阶逻辑的有界模型构造。in:CAV.LNCS。Springer，Heidelberg（2000）“}，{”key“：”20_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“193”，”doi“：”10.1007\/3-540-49059-0_14“，”volume-title“：“系统分析构建的工具和算法”，“author”：“A.Bierre”，“year”：“1999”，“unstructured”：“Bierre，A.、Cimatti，A.、Clarke，E.、Zhu，Y.：无BDD的符号模型检查。在：克利维兰，W.R.（编辑）TACAS 1999。LNCS，卷\u00a01579，第193页。Springer，Heidelberg（1999）“}，{“key”：“20_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Bj\u00f8rner，D.：可信计算系统：procos经验。收录于：ICSE，pp.15\u201334（1992）”，“doi”：“10.1109\/ICSE.1992.753486”}，}“key:”20_CR5“series-title”：“计算机科学课堂讲稿”，“volume-title”：《CAV》，“author”：“A.Bouajjani“，”年份“：”1995年“，“非结构化”：“Bouajjani，A.，Lakhnech，Y.，Robbana，R.：从持续时间微积分到线性混合自动机。输入：CAV。LNCS，卷\u00a0939。Springer，Heidelberg（1995）“}，{”key“：”20_CR6“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“167”，“doi”：“10.1007\/978-3-540-45069-6_17”，“volume-title”：“计算机辅助验证”，“author”：“G.Chakravorty”，“year”：“2003”，“unstructured”：“Chakravorty，G.，Pandya，P.K.：数字化时间间隔逻辑。收录：Hunt Jr.，W.A.，Somenzi，F.（编辑）CAV 2003。LNCS，卷\u00a02725，第167\u2013179页。Springer，Heidelberg（2003）“}，{”key“：”20_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“246”，”doi“：”10.1007\/3-540-44585-4_22“，”volume-title“：“计算机辅助验证”，“author”：“J.Filli\u00e2tre”，“year”：“2001”，“unstructured”：“Filli\u00e2tre，J.，Owre，S.，Rue\u00df，H.，Shankar，N.：ICS:集成规范化器和求解器。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，卷\u00a02102，第246页。Springer，Heidelberg（2001）“}，{“key”：“20_CR8”，“unstructured”：“Fr\u00e4nzle，M.：模型检查密集时间演算。收录：Hansen，M.R.（ed.）Duration Calculus:A Logical Approach to Real-Time Systems Workshop procedures of ESSLLI X（1998）”}，}“key:”20_CR9“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“第一页“：”245“，”DOI“：”10.1007\/3-540-45739-9_16“，”volume-title“：”实时和容错系统中的形式化技术“，”author“：”M.Fr\u00e4nzle“，”year“：”2002“，”unstructured“：”Fr\u00e4mnzle，M.：以NP-easy:工期微积分的有界模型构造。收录：Damm，W.，Olderog，E.-R.（编辑）FTRTFT 2002。LNCS，卷\u00a02469，第245页。Springer，Heidelberg（2002）“}，{”key“：”20_CR10“，”series-title“：”LNAI“，”doi-asserted-by“：”publisher“，”first page“：“302”，”doi“：”10.1007\/978-3-540-39813-4_22“，”volume-title“：“编程逻辑、人工智能和推理”，”author“：”M.Fr\u00e4nzle“，”year“：”2003“，”unstructured“：”Fr\u00e4nzle，M.，Herde，C.：简明逻辑的高效SAT引擎：加速对零一线性约束系统的证明搜索。收录：Y.Vardi，M.，Voronkov，A.（编辑）LPAR 2003。LNCS（LNAI），第u00a02850卷，第302\u2013316页。Springer，Heidelberg（2003）“｝，｛“key”：“20_CR11”，“nonstructured”：“IDLVALID:Model Checking Dense time Duration Logics.WWW page（2004），http:\/\/WWW.tcs.tifr.res.in\/~pandya\/IDLVALID.html”｝，｛“issue”：“4”，“key”：“20_CR12”，“doi asserted by”：“publisher”，“first page”：“373”，“doi”：“10.1007\/BF202579150”，“volume”：“4”，“author”：“N.Karmarkar”，“年份”：“1984”，“非结构化“：”Karmarkar，N.：线性规划的一种新的多项式时间算法。Combinatorica\u00a04（4），373\u2013395（1984）“，”日记标题“：”Combinatorica“}，{”key“：”20_CR13“，”首页“：”182“，”volume-title“：”实时系统：规范、验证和分析“，”author“：”Z.Liu“，”year“：”1996“，”unstructured“：”Liu，Z.：“持续演算中的规范和验证。in:Joseph，M.（ed.）实时系统：规范、验证和分析，第182\u2013228页。Prentice Hall，Englewood Cliffs（1996）“}，{“key”：“20_CR14”，“unstructured”：“Pandya，P.K.：使用DCVALID指定和决定量化离散时间持续时间Dalculus公式。In：Pettersson，P.，Yi，W.（eds.）RTTools.Uppsala University Technical Report Series（2000）”}，}doi-asserted-by“：”publisher“，”first page“：”559“，”doi“：”10.1007\/3-540-45319-9_38“，”volume-title“：”用于构建和分析系统的工具和算法“，”author“：”P.K.Pandya“，”year“：”2001“，”unstructured“：”Pandya，P.K.：模型检查CTL[DC]。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，卷\u00a02031，第559页。Springer，Heidelberg（2001）“}，{“key”：“20_CR16”，“series title”：“ENTCS”，“volume title”：“TPTS 2002”，“author”：“P.K.Pandya”，“year”：“2002”，“nonstructured”：“Pandya，P.K.：区间持续时间逻辑：表达性和决定性。In：Asarin，E.，Maler，O.，Yovine，S.（编辑）TPTS 2002。ENTCS，卷\u00a065。Elsevier Science Publishers，Amsterdam（2002）“}，{“key”：“20_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Sharma，B.：基于SAT的间隔时间逻辑形式的有效性检查。孟买理工学院计算机科学与工程系M.技术论文（2004年6月）”，“doi”：“10.1007\/978-3-540-31980-1_20”}，}，“key“：”“20_CR18”，“非结构化”：“Skakkeb\u00e6k，J.U.，Sestoft，P.：检查持续时间微积分公式的有效性。ESPRIT项目PROCOS II。丹麦技术大学计算机科学系技术报告（1996）“}，{“卷-时间”：“持续时间微积分”，“年份”：“2003”，“作者”：“C.Zhou”，“关键字”：“20_CR19”，“非结构化”：“周，C.，Hansen，M.R.：持续时间微微积分。Springer，Heidelberg（2003）”}，}，“问题”：“5”，“key”：“20-CR20”，“doi-asserted-by”：“publisher”，“首页”：“269”，”“doi”：“10.1016\/0020-0190（91）90122-X“，“卷”：“40”，“作者”：“C.Zhou”，“年份”：“1991”，“非结构化”：“Zhou，C.，Hoare，C.A.R.，Ravn，A.P.：持续时间微积分。信息处理信件\u00a040（5），269\u2013276（1991）“，”日记标题“：”信息处理信件“}，{“key”：“20_CR21”，“首页”：“36”，“volume-title”：“Hybrid Systems”，“author”：“C.Zhou”，“year”：“1993”，“unstructured”：“Zhou，C.，Ravn，A.，Hansen，M.R.：混合实时系统的扩展持续时间演算。摘自：混合动力系统，第36\u201359页。Springer，Heidelberg（1993）“}]，“container-title”：[“计算机科学课堂讲稿”，“系统构建和分析的工具和算法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10007\/978-3-540-31980-1_20.pdf”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查“｝”，“寄存”：｛“日期部分”：[[2020,11,18]，“日期-时间”：“2020-11-18T23:32:45Z”，“时间戳”：1605742365000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-31980-1_20”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2005]]｝，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count“：21，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_20“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”主题“：[]，”发布“：{”date-parts“：[2005]]}}}