｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,5]]，“date-time”：“2024-09-05T17:22:24Z”，“timestamp”：1725556944553｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：19，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“type”：“print”，“value”：“9783642134630”｝，｛“type”：“electronic”，“value”：“9783642134647”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2010]]}，”DOI“：”10.1007\/978-3642-13464-7_13“，”type“：”book-capter“，”created“：”{“date-part”：[2010,6,7]]，“date-time”：“2010-06-07T10:50:49Z“，”时间戳“：1275907849000}，”页面“：”155-169“，“source”：“Crossref”，“is-referenced-by-count”：8，“title”：[“使用浅同步的混合系统的模型检查”]，“prefix”：“10.1007”，”author“：[{”given“：”Lei“，”family“：”Bu“，”sequence“：”first“，”affiliation“：[]}，{”given“:”Alessandro“，”家族“：”Cimatti“，”序列“：”additional“，”filiation“”：“additional”，“affiliation”：[]}，{“given”：“Sergio”，“family”：“Mover”，“sequence”：“addressive”，“abfiliation“：[]{”given“：Stefano”，“家族”：“Tonetta”，“sequence”:“additionable”，“filiationation”：[]}，“member”：“297”，“reference”：[{“issue”：“1”，“key”：”13_CR1“，”doi-asserted-by“：”publisher“，“first-page”：“152”，”DO I“：”10.1145\/1132357.1132363“，”卷“：”5“，”作者“：“R.Alur”，“year”：“2006”，“unstructured”：“Alur，R.，Dang，T.，Ivancic，F.：混合系统可达性分析的谓词抽象。ACM Trans.Embedded Compute.Syst.\u00a05（1），152\u2013199（2006）”，“journal title”：“ACM Trans.Embedded-Comput.Syst.”}，{“issue”：“2”，“key”：“13_CR2”，“doi-asserted-by”：“publisher”，《首页》：“17”，“doi”：“10.1016\/j.entcs.2004.12.022”，“volume”：“119”，“author”：“G.Audemard”，“year”：“2005”，“unstructured”：“Audemar，G.，Bozzano，M.，Cimatti，A.，Sebastiani，R.：用MathSAT验证工业混合系统。Electr.Notes Theor.Comput.Sci.\u00a0119（2），17\u201332（2005）”，“journal-title”：“Electr.Nates Theor/Comput.Sci.”}，{key“13_C”R3英寸，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“485”，“doi”：“10.1007\/BFb0055643”，“volume-title”：《CONCUR\u201998并发理论》，“author”：“J.Bengtsson”，“year”：“1998”，“unstructured”：“Bengtsson，J.、Jonsson，B.、Lilius，J.和Yi，W.：时间系统的部分降阶。收录：Sangiorgi，D.、de Simone，R.（编辑）CONCUR 1998。LNCS，第u00a01466卷，第485\u2013500页。Springer，Heidelberg（1998）“}，{”key“：”13_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“299”，”doi“：”10.1007\/978-3-540-70545-1_28“，”volume-title“：“计算机辅助验证”，”author“：”R.Brutomesso“，”year“：”2008“，”unstructured“：”Bruttomesso，R.，Cimatti，A.，Franz\u00e9n，A.，Griggio，A.，Sebastiani，R.：数学卫星4 SMT求解器。收录：Gupta，A.，Malik，S.（编辑）CAV 2008。LNCS，第u00a05123卷，第299\u2013303页。Springer，Heidelberg（2008）“}，{“key”：“13_CR5”，“unstructured”：“Bu，L.，Li，X.：组合线性混合系统的面向路径的有界可达性分析。提交的手稿（2008）”}，}，“key“：”13_CR6“，“unsructured“：”Bu，L.，Li，Y.，Wang，L.、Chen，X.、Li，X.：BACH2:组合线性混杂系统的有界可达性CHecker。收录于：日期，第1512\u20131517页。EDAA（2010）“}，{”key“：”13_CR7“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“359”，”doi“：”10.1007\/3-540-45657-0_29“，”volume-title“：“计算机辅助验证”，”author“：”A.Cimatti“，”year“：”2002“，”unstructured“：”Cimatti，A.、Clarke，E.M.、Giunchiglia，E.、Giunciglia，F.、Pistore，M.、Roveri，M.，Sebastiani，R.、Tacchella，A.：NuSMV 2：符号模型检查的开源工具。收录：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，卷\u00a02404，第359页\u2013364。Springer，Heidelberg（2002）“}，{”key“：“13_CR8”，”doi-asserted-by“：”publisher“，”first page“：”119“，“doi”：“10.1016\/j.entcs.2004.08.061”，“volume”：“133”，“author”：“M.Fr\u00e4nzle”，“year”：“2005”，“unstructured”：“Fr\u00e4nzle，M.，Herde，C.：混合系统有界模型检验的有效证明引擎。选举人。理论注释。计算。科学。\u00a0133，119\u2013137（2005）“，“新闻标题”：“选举。理论注释。计算。科学。“}，{”issue“：“3”，”key“：“13_CR9”，”doi-asserted-by“：”publisher“，”first page“：”179“，“doi”：“10.1007\/s10703-006-0031-0”，“volume”：“30”，“author”：“M.Fr\u00e4nzle”，“year”：“2007”，“unstructured”：“Fr\u00e4mnzle，M.，Herde，C.：HySAT:混合系统有界模型检查的有效证明引擎。系统设计中的形式化方法\u00a030（3），179\u2013198（2007）“，“journal-title”：“系统设计中的形式化方法”}，{“key”：“13_CR10”，“first page”：”672“，”volume-title“：”DAC“，”author“：”N.Giorgetti“，”year“：”2005“，”unstructured“：”Giorgeti，N.，Pappas，G.J.，Bemporad，A.：混合动力系统的有界模型检验。in:DAC，pp.672\u2013677。IEEE，Los Alamitos（2005）“}，{”key“：”13_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/3-540-60761-7“，”volume-title“：“并行系统验证的部分顺序方法”，”author“：”P.Godefroid“，”year“：”1996“，”unstructured“：”Godefroid，P.：并发系统验证的部分顺序方法：状态爆炸问题的方法。收录：Godefroid，P.（编辑）《并行系统验证的部分顺序方法》。LNCS，卷\u00a01032。Springer，Heidelberg（1996）“}，{”issue“：”4-5“，”key“：”13_CR12“，”doi-asserted-by“：”publisher“，”first-page“：”519“，”doi“：”10.1017\/S1471068403001790“，”volume“：“3”，”author“：”K.Heljanko“，”year“：”2003“，”unstructured“：”Heljanke，K.，Niemel\u00e4，I.：用稳定模型检验有界LTL模型。逻辑编程理论与实践\u00a03（4-5），519\u2013550（2003）“，“期刊标题”：“逻辑编程的理论与实践”}，{“键”：“13_CR13”，“首页”：“278”，“卷标”：“LICS”，“作者”：“T.A.Henzinger”，“年份”：“1996”，“非结构化”：“Henzinger，T.A.：混合自动机理论。摘自：LICS，第278\u2013292页。IEEE Computer Society，Los Alamitos（1996）“}，{”key“：”13_CR14“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“287”，”doi“：”10.1007\/978-3-540-71493-4_24“，“volume-title”：“Hybrid Systems:Computeration and Control”，“author”：“S.Jha”，“year”：“2007”，“unstructured”：“”Jha，S.，Krogh，B.，Weimer，J.，Clarke，E.：使用迭代松弛抽象的线性混合自动机的可达性。收录人：Bemporad，A.、Bicchi，A.、Buttazzo，G.（编辑）HSCC 2007。LNCS，第u00a04416卷，第287\u2013300页。Springer，Heidelberg（2007）“}，{”issue“：”3-4“，”key“：”13_CR15“，”first page“：“141”，“volume”：“3”，”author“：”R.Sebastiani“，”year“：”2007“，”unstructured“：”Sebastianai，R.：“Lazy satability module theorys.JSAT\u00a03（3-4），141\u2013224（2007）me-title“：”EMSOFT“，”author“：”U.Shinya“，“年份”：“2008年，“非结构化”：“Shinya，U.：参数化实时系统验证的事件顺序抽象。收录于：EMSOFT，第1\u201310页。ACM，New York（2008）“}，{”key“：”13_CR17“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“382”，“doi”：“10.1007\/978-3-540-78800-3_29”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“C.Wang”，“year”：“2008”，“unstructured”：“”Wang，C.，Yang，Z.，Kahlon，V.，Gupta，A.：剥离部分阶数减少。收录：Ramakrishnan，C.R.，Rehof，J.（编辑）TACAS 2008。LNCS，第u00a04963卷，第382\u2013396页。Springer，Heidelberg（2008）“}，{”issue“：”1“，”key“：”13_CR18“，”doi-asserted-by“：”publisher“，”first page“：“38”，”doi“：”10.1109\/TSE.2005.13“，”volume“：‘31’，”author“：”F.Wang“，”year“：”2005“，”unstructured“：”Wang，F.：具有BDD-like数据结构的线性混合系统的符号参数安全性分析。IEEE Trans.Soft.Eng.\u00a031（1），38\u201351（2005）”，“期刊标题”：“IEEE Trans。柔软。工程师“}，{”key“：”13_CR19“，”series-title“：”计算机科学课堂讲稿“，”首页“：”34“，”volume-title“：“时间系统的形式化建模与分析”，”author“：”J.Zhao“，”year“：”2004“，”unstructured“：”Zhao，J.，Li，X.，Zheng，T.，Zheng-G.：删除无关原子公式以有效检查时间自动机。收录：Larsen，K.G.，Niebert，P.（编辑）FORMATS 2003。LNCS，第u00a02791卷，第34\u201345页。Springer，Heidelberg（2004）“}”，“container-title”：[“计算机科学课堂讲稿”，“分布式系统的形式化技术”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3642-13464-7_13.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2021,4,30]]，“date-time”：“2021-04-30T12:04:15Z”，“timestamp”：1619784255000}，“score”：1，“resource”：{”primary“：{URL”：“http://\/link.springer.com\/10.1007\/978-3642-13464-7_13”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{“date-ports”：[2010]]}，，“ISBN”：[“97838”642134630“，”9783642134647“]，”references-count“：19，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-13464-7_13“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-3399“}]，”主题“：[]，”发布“：{”日期部分“：[2010]]}}}}