{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,27]]，“日期时间”：“2024-05-27T08:27:38Z”，“时间戳”：1716798458365}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”value“9783642171635”，“type”：“print”}，{“value”：“9783642171642”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2010,1,1]]，“date-time”：“2010-01T00:00:00Z”，“timestamp”：1262304000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[[2010]]}，“DOI”：“10.1007\/978-3642-17164-2_1”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2010-11,19]]，“date-time”：“2010-11-19T05:54:39Z”，“timestamp”：1290146079000}，《page》：“1-15”，“source”：《Crossref》，“is-referenced-by-count”：55，“title”：[“A Calculus for Hybrid CSP”]，“prefix”：“101007”“，”作者“：[{”给定“：”江“，”家庭“：”刘“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jidong”，“family”：“Lv”，“segment”：“additional”，“filiance”：[]}，}“giving”：“Zhao”，“家庭”：“Quan”，“sequence”:“additionable”，“feliation”:[]}.，{：“附加”，“从属关系”：[]}，{“给定”：“Chaochen”，“family”：“Zhou”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Liang”，“家族”：“Zou”，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“reference”：[{“key“：”1_CR1“，”doi-asserted-by“：”publisher“，”doi“10.1007\/9781-84882-745-5”，“volume-title”：“顺序和并发程序的验证”，“author”：“K.Apt”，“年份”：“2009年”，“非结构化”：“Apt，K.，de Boer，F.，Olderog，E.-R.：顺序和并发程序的验证。Springer，Heidelberg（2009）ISBN 978-1-184882-744-8”}，{“key”：“1_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：”134“，“doi”：“10.1007 \/3-5407-4_17”，“volume-title”：“自动机理论和形式语言”，“作者”：“G.E.Collins”，“年份”：“1975”，“非结构化”：“Collins，G.E.：通过圆柱形代数分解对实闭域进行量化消去。In：Brakhage，H.（ed.）GI Fachtagung 1975。LNCS，卷\u00a033，第134\u2013183页。Springer，Heidelberg（1975）“}，{”key“：”1_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-70545-1_18“，”volume-title“：“计算机辅助验证”，”author“：”S.Gulwani“，”year“：”2008“，”unstructured“：”Gulwani，S.，Tiwari，A.：混合系统分析的基于约束的方法。收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，vol.\u00a05123，Springer，Heidelberg（2008）“}，{“key”：“1_CR4”，“unstructured”：“：从CSP到混合系统。In:The proc.of A Classical Mind:Essays In Hour In Hoare.International Series In Computer Science，pp.171\u2013189。Prentice Hall，Englewood Cliffs（1994），国际标准图书编号：0-13-294844-3“｝，｛“key”：“1_CR5”，“nonstructured”：“Liu，J.，Zhan，N.，Zhao，H.：生成多项式微分不变量的完整方法。Comp.Sci.国家重点实验室技术报告，ISCAS-LC-10-15（2010）”｝，｛“issue”：“7”，“key”：“1_CR6”，“doi asserted by”：“publisher”，“first page”：“609”，“doi”：“10.1007 \/BF01191722“，”卷“：”30“，”作者“：”Z.Manna“，”年份“：”1993“，”非结构化“：”Manna，Z.，Pnueli，A.：反应性模型。Acta Informatica\u00a030（7），609\u2013678（1993）“，”journal-title“：”Acta Information“}，{“key”：“1_CR7”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511619953”，“volume-title”：“实时系统：正式保密和自动验证”，“author”：“R.-R.Olderog”，“year”：“2008”，“unstructured”：“Olderog，R.-R，Dierks，H.：实时系统：形式保密和自动验证。剑桥大学出版社，剑桥（2008）“}，{”issue“：”1“，”key“：”1_CR8“，”doi-asserted-by“：”publisher“，”first page“：“309”，“doi”：“10.1093\/logcom\/exn070”，“volume”：“20”，“author”：“A.Platzer”，“year”：“2010”，“unstructured”：“Platzer，A.：微分代数程序的微分代数动态逻辑。逻辑与计算杂志\u00a020（1），309\u2013352（2010）“，”journal-title“：”J.of Logic and Computation“}，{“key”：“1_CR9”，“doi-asserted-by”：“publisher”，“first page”：”143“，“doi”：“10.1007”\/s10817-008-9103-8“，”volume“：”41“，“author”：“A.Platzer”，”year“2007”，“unstructured”：“Platzer.，A.：混合系统的微分动态逻辑。自动化推理杂志\u00a041，143\u2013189（2007）“，”journal-title“：”J.of Automated Reasoning“}，{“key”：“1_CR10”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”176“，“doi”：“10.1007\/978-3-540-70545-1_17”，“volume-title”：”Computer Aided Verification“，”author“：”A.Platzer“，”year“：”2008“，”unstructured“：”Platzer，A.，Clarke，E.M.：计算混合系统的微分不变量作为固定点。收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，第u00a05123卷，第176\u2013189页。Springer，Heidelberg（2008）“}，{”key“：”1_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“477”，”doi“：”10.1007\/978-3-540-24743-232“，”volume-title“：“混合系统：计算与控制”，”author“：”S.Prajna“，”year“：”2004“，”unstructured“：”Prajna，S.，Jadbabaie，A.：使用屏障证书对混合系统进行安全验证。In:Alur，R.，Pappas，G.J.（编辑）HSCC 2004。LNCS，第u00a02993卷，第477\u2013492页。Springer，Heidelberg（2004）“}，{”key“：”1_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“539”，”doi“：”10.1007\/978-3-540-24743-236“，”volume-title“：“混合系统：计算与控制”，”author“：”S.Sankaranarayanan“，”year“：”2004“，”unstructured“：”Sankaranarayanan，S.，Sipma，H.B.，Manna，Z.：构建混合系统的不变量。In:Alur，R.，Pappas，G.J.（编辑）HSCC 2004。LNCS，第u00a02993卷，第539\u2013554页。Springer，Heidelberg（2004）“}，{”key“：”#cr-split#-1_CR13.1“，”doi-asserted-by“：”crossref“，”unstructured“：”Xia，B.：DISCOVER:解算半代数系统的工具。In:ISSAC 2007软件演示，滑铁卢，2007年7月30日（2007）；“，”doi“：”10.1145\/1358190.1358197“}102？？？103（2007年9月）“}，{”key“：”1_CR14“，”doi-asserted-by“：”publisher“，”first page“：“225”，”doi“：”10.1006\/jsco.1998.0274“，”volume“：‘28’，”author“：”L.Yang“，”year“：”1999“，”unstructured“：”Yang，L.：确定参数多项式实根数的最新进展。J.符号计算\u00a028，225\u2013242（1999）“，”journal-title“：”J。符号计算“}，{“key”：“1_CR15”，“首页”：“628”，“卷”：“39”，“作者”：“L.Yang”，“年份”：“1996”，“非结构化”：“Yang，L.，Hou，X.，Zeng，Z.：多项式的完整判别系统。中国科学（Ser.E）\u00a039，628\u2013646（1996）”，“期刊标题”：“中国科学（Ser.E）”}，}“key:”1_CR16“，”series-title“：”计算机科学课堂讲稿”，“卷-时间”：“混合系统III”，“作者”：“C.Zhou”，“年份”：“1996”，“非结构化”：“Zhou，C.，Wang，J.，Ravn，A.：混合系统的形式描述。收录人：Alur，R.，Sontag，E.D.，Henzinger，T.A.（编辑）HS 1995。LNCS，vol.\u00a01066，Springer，Heidelberg（1996）“｝，｛“key”：“1_CR17”，“nonstructured”：“Zhang，S.：中国列车控制系统三级通用技术解决方案（CTCS3）。中国铁路出版社（2008）”｝，｛“key”：“1_CR18”，“volume title”：“工期微积分：实时系统的形式化方法”，“author”：“C.Zhou”，“year”：“2004”非结构化“：”Zhou，C.，Hansen，M.：持续时间微积分：实时系统的形式化方法。Springer，Heidelberg（2004），ISBN 3-540-40823-1“}，{“问题”：“5”，“关键”：“1_CR19”，“doi-asserted-by”：“出版商”，“首页”：“269”，“doi”：“10.1016\/0020-0190（91）90122-X”，“卷”：“40”，“作者”：“C.Zhou”，“年份”：“1991”，“非结构化”：“Zhou，C.，Hoare，C.A.R.，Ravn，A.：持续时间的计算。信息处理信函\u00a040（5），269\u2013276（1991）“，”journal-title“：”Information Processing Letters“}]，”container-title”：[“Programming Languages and Systems”，“Teach Notes in Computer Science”]，“original-title:[]，”link“：[{”URL“：”http://link.springer.com\/content\/pdf\/10007\/978-3642-17164-2_1“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”相似性检查“}”，“存放”：{“日期-部分”：[[2019,3,22]]，“日期-时间”：“2019-03-22T05:19:02Z”，“时间戳”：1553231942000}，“分数”：1，“资源”：{“主要”:{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-17164-2_1”}，”副标题“：[]，”短标题“：[]，”发布“：{”日期-部分“：[2010]]}，ISBN“：[”9783642171635“，”978364 2171642“]，”references-count“：20，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-17164-2_1“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743”，”type“:”print“}，{”value“：”1611-349“，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2010]]}}