｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:35Z”，“时间戳”：1725494315141｝，“发布者位置”：“柏林，海德堡”，“引用计数”：15，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“类型”：“打印”，“值”：“9783540755951”｝]，“内容域”用法：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_10”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T10:03:37Z”，“timestamp”：1194084217000}，”page“114-128”，“source”：”Crossref“，“is-referenced-by-count”：11，“title“”：[“使用模拟痕迹生成的模型进行模拟\/混合信号电路验证”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Scott”，“家族”：“Little”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Chris”，“family”：“Myers”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：”10_CR1“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：”publisher“，”first page“：”401“，doi：”10.1007\/3-540-45657-0_33“，”volume-title“：”Proc.International Conference on Computer Aided Verification（CAV）“，”author“：“W.Hartong”，“year”：“2002”，“unstructured”：“Hartong，W.，Hedrich，L.，Barke，E.：关于非线性模拟系统的离散建模和模型检查。In：Brinksma，E.，Larsen，K.G.（eds.）CAV 2002。LNCS，第u00a02404卷，第401\u2013413页。Springer，Heidelberg（2002）“}，{”key“：”10_CR2“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first page“：“21”，“doi”：“10.1007\/978-3-540-30494-4_3”，“volume-title”：“FMCAD”，“author”：“T.Dang”，“year”：“2004”，“unstructured”：“Dang，T.，Donz\u00e9，A.，Maler，O.：使用混合系统技术验证模拟和混合信号电路。收录人：Hu，A.J.，Martin，A.K.（编辑）FMCAD 2004。LNCS，第u00a03312卷，第21\u201336页。Springer，Heidelberg（2004）“}，{”key“：“10_CR3”，”first page“：”257“，”volume-title“：”Proc.Design，Automation and Test in Europe（DATE）“，”author“：”G.Frehse“，”year“：”2006“，”unstructured“：”Frehse，G.，Krogh，B.H.，Rutenbar，R.A.：使用正向/反向优化验证模拟振荡器电路。In：程序。欧洲的设计、自动化和测试（DATE），第257\u2013262页。IEEE Computer Society Press，Los Alamitos（2006）“}，{”key“：“10_CR4”，”doi-asserted-by“：”publisher“，”first page“：”275“，”doi“：”10.1145\/1233501.233556“，”volume-title“：”ICCAD“，”author“：”S.Little“，”year“：”2006“，”unstructured“：”Little，S.、Seegmiller，N.、Walter，D.、Myers，C.、Yoneda，T.：使用标记混合petri网验证模拟混合信号电路。In:ICCAD。程序。计算机辅助设计国际会议，第275\u2013282页。IEEE Computer Society Press，Los Alamitos（2006）“}，{“key”：“10_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Walter，D.，Little，S.，Seegmiller，N.，Myers，C.J.，Yoneda，T.：模拟/混合信号电路的符号模型检查。In:Asia and South Pacific Design Automation Conference（ASPDAC），pp.316\u2013323（2007）”，“doi”：“10.1109\/ASPDAC.2007.358005“}，{“key”：“10_CR6”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”66“，“doi”：“10.1007\/978-3-540-75596-8_7”，“volume-title”：”ATVA 2007“，“author”：“D.Walter”，“year”：“2007”，“unstructured”：“Walter，D.，Little，S.，Myers，C.：使用SMT解算器对模拟和混合信号电路进行有界模型检查。收录人：Namjoshi，K.S.、Yoneda，T.、Higashino，T.和Okamura，Y.（编辑）ATVA 2007。LNCS，第u00a04762卷，第66\u201381页。Springer，Heidelberg（2007）“}，{“key”：“10_CR7”，“series-title”：《计算机科学讲义》，“volume-title”：“HSCC”，“author”：“A.Donz\u00e9”，“year”：“2007”，“unstructured”：“Donz\ u00e8，A.，Maler，O.：使用敏感性分析的系统模拟。in:Bempoad，A.，Bicchi，A.，Buttazzo，G.（eds.）HSCC。LNCS，vol.\u00a04416，Springer，Heidelberg（2007）“}，{“key”：“10_CR8”，“unstructured”：“Dang，T.，Nahhal，T.：用于电路验证的混合系统的随机模拟。技术报告，VERIMAG（2006年5月）”}，}，“key“：”10_CR9“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：”272“，“doi”：“10.1007 \/11730637_22“，”volume-title“：”HSCC“，”author“：”A.Girard“，”year“：”2006“，”unstructured“：”Girard，A.，Pappas，G.J.：模拟验证。收录：Hespanha，J.P.，Tiwari，A.（编辑）HSCC 2006。LNCS，第u00a03927卷，第272\u2013286页。Springer，Heidelberg（2006）“}，{”key“：”10_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“171”，”doi“：”10.1007\/11867340_13“，”volume-title“：“FORMATS”，”author“：”G.E.Fainekos“，”year“：”2006“，”unstructured“：”Fainekos，G.E.，Girard，A.，Pappas，G.J.：使用模拟进行时序逻辑验证。收录：Asarin，E.，Bouyer，P.（eds.）FORMATS 2006。LNCS，卷\u00a04202，第171\u2013186页。Springer，Heidelberg（2006）“}，{”key“：”10_CR11“，”first page“：“195”，”volume-title“：”VLSI Design“，”author“：”T.R.Dastidar“，”year“：”2005“，”unstructured“：”Dastidar，T.R.，Chakrabarti，P.P.P.：使用模型检查的模拟电路瞬态响应验证系统。In:VLSI Design，pp.195\u2013200。IEEE Computer Society Press，Los Alamitos（2005）“}，{”key“：”10_CR12“，”unstructured“：”Walter，D.C.：“使用符号方法验证模拟和混合信号电路。犹他大学博士论文（2007年5月）”}，“issue”：“3”，“key”：“10_CR13”，”doi-asserted-by“：”publisher“，”first page“：“53”，“doi”：“10.1016\/j.entcs.2006.02.018”，“volume”：”153“，“”作者“：”C.J.Myers“，”year“：”2006“，”unstructured“：”Myers，C.J.，Harrison，R.R.，Walter，D.，Seegmiller，N.，Little，S.：模拟电路验证案例。电子笔记理论计算机科学153（3），53\u201363（2006）“，“期刊标题”：“电子笔记理论计算科学”。“｝，｛”issue“：”1\u20132“，”key“：”10_CR14“，”doi断言“：”crossref“，”首页“：”9“，”doi“：”10.1023\/A:1008330914786“，”volume“：”11“，”author“：”R.David“，”year“：”2001“，”nonstructured“：”David，R.，Alla，H.：关于混合petri网。离散事件动态系统：理论与应用\u00a011（1\u20132），9\u201340（2001）“，”期刊标题“：”离散事件动态系统：理论与应用”}，{“key”：“10_CR15”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：”209“，“doi”：“10.1007 \/3-540-57318-6_30”，“volume-title”：”Hybrid Systems“，”author“R.Alur”，”year“1993”，“unstructured”：“Alur，R.，Courcoubetis，C.，Henzinger，T.A.，Ho，P.H.：混合自动机：混合系统规范和验证的算法方法。摘自：Grossman，R.L.，Ravn，A.P.，Rischel，H.，Nerode，A.（编辑）Hybrid Systems。LNCS，卷\u00a0736，第209\u2013229页。Springer，Heidelberg（1993）“}]，“container-title”：[“计算机科学课堂讲稿”，“用于验证和分析的自动化技术”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3-540-75596-8_10.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,4,27]]，“日期时间”：“2021-04-27T06:25:20Z”，“时间戳”：1619504720000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-75596-8_10”}}，“ISBN”：[“9783540755951”]，“references-count”：15，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_10“，”关系“：{}，”主题“：[]}}