{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T18:24:50Z”，“时间戳”：17142290878}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540733676”，“类型”：“打印”}]，“内容域”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-73368-3_46”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,8,29]]，“date-time”：“2007-08-29T22:29:34Z”，“timestamp”：1188426574000}，”page“：”433-448“，”source“Crossref”，“is-referenced-by-count”：18，“标题”：[“抽象和反例-用于阶离散线性混合模型模型检查的\u03c9-自动机的指导构造”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Marc”，“家族”：“Segelken”，“序列”：“第一”，“从属”：[]}]，“成员”：“297”，“引用”：[}“key”：“46_CR1”，”series-title“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：“35”，“DOI”：“10.1007\/3-540-45873-5_6”，“volume-title”：“Hybrid Systems:Calculation and Control”，“author”：“R.Alur”，”year“：“2002”，“unstructured”：“Alur，R.，Dang，T.，Ivan\u010di\u0107，F.：通过谓词抽象对混合系统进行可达性分析。In:Tomlin，C.J.，Greenstreet，M.R.（eds.）HSCC 2002。LNCS，第00a02289卷，第35页\u201348。Springer，Heidelberg（2002）“}，{”key“：”46_CR2“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/b13983“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“R.Alur”，“year”：“2003”，“unstructured”：“Alur，R.，Dang，T.，Ivancic，F.：混合系统的反例引导谓词抽象。收录于：Garavel，H.、Hatcliff，J.（编辑）ETAPS 2003和TACAS 2003。LNCS，vol.\u00a02619，Springer，Heidelberg（2003）“}，{“key”：“46_CR3”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《365》，“doi”：“10.1007\/3-540-45657-0_30”，“volume-title”：《计算机辅助验证》，“author”：“E.Asarin”，“year”：“2002”，“unstructured”：“Asarin，E.，Dang，T.，Maler，O.：尤金·Asarin、Thao Dang和Oded Maler。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，卷\u00a02404，第365\u2013370页。Springer，Heidelberg（2002）“}，{”key“：”46_CR4“，”doi-asserted-by“：”crossref“，”unstructured“：”Alur，R.，Henzinger，T.A.，Ho，P.：嵌入式系统的自动符号验证。摘自：IEEE实时系统研讨会，pp.2\u201311（1996）“，”doi“：”10.1109\/32.489079“}”，{“key”：“46_CR5”，“unstructure”：“”Berkelaar，K.，Eikland，M.，Notebaert，P.：开源（混合集成）线性编程系统。In:Eindhoven University of Technology（2004年5月）“}，{”issue“：”4“，”key“：”46_CR6“，”doi-asserted-by“：”publisher“，”first page“：“583”，”doi“：”10.1142\/S012905410300190X“，”volume“:”14“，”author“：”E.M.Clarke“，”year“：”2003“，”unstructured“：”Clarke，E.M.、Fehnker，A.、Han，Z.、Krogh，B.H.、Ouaknine，J.、Stursberg，O.、Theobald，M.：混合系统模型检查中的抽象和反例引导细化。发现的国际期刊。计算。科学。\u00a014（4），583\u2013604（2003）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”key“：”46_CR7“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first-page“：”258“，”doi“：”10.1007\/978-3-540-31954-2_17“，“volume-title”：“混合系统：计算与控制”，“author”：“G.Frehse”，“year”：“2005”，“unstructured”：“”Frehse，G.：PHAVer：HyTech过去混合系统的算法验证。收录：Morari，M.，Thiele，L.（编辑）HSCC 2005。LNCS，第u00a03414卷，第258\u2013273页。Springer，Heidelberg（2005）“}，{“key”：“46_CR8”，“unstructured”：“Gaudre，T.，Guillermo，H.，Baufreton，P.，Goshen，D.，Cruz，J.，Dupont，F.，Leviathan，R.，Segelken，M.，Winkelmann，K.，Halbwachs，N.：设计用于开发航空、汽车和安全关键嵌入式控制系统的方法和工具集。In:Convergence 2003（2003）”}key“：”46_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Henzinger，T.A.，Ho，P.-H.：Hytech:康奈尔混合技术工具。In:Hybrid Systems，pp.265\u2013293（1994）“，“DOI”：“10.1007\/3-540-60472-3_14”}，{“key”：“46_CR10”，“series-title”：“计算机科学讲义”，“volume-title”：《计算机辅助验证》，“author”：“R.K.Brayton”，“year”：“1996”，“unstructured”：“Brayton，R.K.、Hachtel，G.D.、Sangiovanni-Vincentelli，A.、Somenzi，F.、Aziz，A.、Cheng，S.-T.、Edwards，S.、Khatri，S.，Kukimoto，Y.、Pardo，A.，Qadeer，S。In:Alur，R.，Henzinger，T.A.（编辑）CAV 1996。LNCS，vol.\u00a01102，Springer，Heidelberg（1996）“}，{“key”：“46_CR11”，“series title”：“计算机科学讲义”，“doi断言者”：“出版商”，“第一页”：“248”，“doi”：“10.1007\/10722167_21”，“volume title”：“计算机辅助验证”，“author”：“F.Somenzi”，“年份”：“2000”，“非结构化”：“Somenzi，F.，Bloem，R.：LTL公式中的高效B\u00fcchi自动机。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，第00a01855卷，第248页\u2013263。Springer，Heidelberg（2000）“}，{“key”：“46_CR12”，“volume-title”：“Control Engineering Practice”，“author”：“O.Stursberg”，“year”：“2004”，“unstructured”：“Stursbrg，O.，Fehnker，A.，Han，Z.，Krogh，B.H.：使用反例引导搜索验证巡航控制系统。In:Control Engineering Practices，Elsevier，Amsterdam（2004）”}，“key“：”46_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Silva，B.I.，Krogh，B.H.：使用checkmate对混合系统进行形式验证：案例研究。收录于：《美国控制会议论文集》，第1679\u20131683（2000）页“，”DOI“：”10.1109\/ACC.2000.879487“}]，”container-title“：[”计算机辅助验证“，”计算机科学讲稿“]，”原文标题“：[]，”language“：”en“，”link“：[{”URL“：”http://link.springer.com/content\/pdf\/10.10007\/978-3-540-73368-3_46.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,4,27]]，”date-time“：”2021-04-27T10:08:37Z“，”timestamp“：1619518117000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.springer.com/10.1007\/978-3540-73368-3_46”}}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[null]]}，“ISBN”：[“9783540733676”]，“references-count”：13，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-73368-3_46”，“relation”：{}，“subject”：[]}}