{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:33Z”，“时间戳”：1725557853593}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540201267“}，{”类型“：“电子”，“值”：“9783540398783”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版的印刷品”：｛“日期部分”：[[2003]]｝，“DOI”：“10.1007\/978-3-540-39878-3_4”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2010,6,23]，“日期时间”：“2010-06-23T22:39:03Z”，“时间戳”：1277332743000｝，“页面”：“35-48”，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“公共移动网络的自动及时性验证”]，“prefix”：“10.1007”，”author“：[{”given“：”E.“，”family“：”Ciancamerla“，”sequence“：”first“，”affiliation“：[]}“，”givent“：”M.“：“additional”，“affiliation”：[]}，{“given”：“E.”，“family”：“Tronci”，“sequence”：“additive”，“ffiliation”：[]}]，“member”：“297”，“reference”：[{“unstructured”：“SAFETUNNEL Project（IST\u2013 2000\u2013 28099），http://www.crfproject-eu.org\/”，“key”：：“Dill，D.L.，Drexler，A.J.，Hu，A.J，Yang，C.H.：作为硬件设计工具的协议验证。In:IEEE计算机辅助设计国际会议（1992）”，“key”：“4_CR2”}，{“doi-asserted-by”：“crossref”，“unstructured”：“Bryant，R.：布尔函数操作的基于图形的算法。IEEE Trans.on Computers\u00a0C-35（8）（1986年8月）”，“key”：“4_CR3”，“DOI”：“10.1109\/TC.1986.1676819”}，{“DOI-asserted-by”：“crossref”，“unstructured”：“Hu，A.J.，York，G.，Dill，D.L.：使用隐式连接BDD进行有效验证的新技术。In：第31届IEEE设计自动化会议（1994）”，“key:”4_CR4“，”DOI“10.1145\/196244.196377”}：“Burch，J.R.，Clarke，E.M.，McMillan，K.L.，Dill，D.L.，Hwang，L.J.：符号模型检查：1020种状态及以上。信息与计算\u00a0（98）（1992）”，“key”：“4_CR5”，“DOI”：“10.1016\/0890-5401（92）90017-A”}，{“非结构化”：“http://sprout.stanford.edu\/~Dill\/murphi.html”：“http://www.dsi.uniroma1.it\/~tronci\/cached.murphi.html”，“key”：“4_CR7”}，{“key“：”4_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“259”，“doi”：“10.1007\/3-540-44798-9_22”，“volume-title”：“正确的硬件设计和验证方法”，“author”：“E.tronci”，“year”：“2001”“，”非结构化“：“Tronci，E.，Penna，G.D.，Intrigila，B.，Venturin-Zilli，M.：在自动验证中利用转换位置。收录：Margaria，T.，Melham，T.F.（编辑）CHARME 2001。LNCS，卷\u00a02144，第259页。Springer，Heidelberg（2001）“｝，｛”非结构化“：”http://www.ecs.berkeley.edu\/~tah\/HyTech“，”key“：”4_CR9“｝，｛”doi断言“：”crossref“，”非结构化“：”Bobbio，A.、Ciancamerla，E.、Franceschinis，G.、Gaeta，R.、Minichino，M.、Portinale，L.：增加安全分析建模能力的方法。In：应用于涡轮机数字控制系统-SAFECOMP 2002，卡塔尼亚，意大利（2002年9月）“，”key“：”4_CR10“，”DOI“：”10.1007\/3-540-45732-1_21“}，{“key”：“4_CR11”，”DOI-asserted-by“：”publisher“，”first page“：“”Bobbio，A.，Portinale，L.，Minichino，M.，Ciancamerla，E.：通过将故障树映射到贝叶斯网络来改进可靠系统的分析。可靠性工程与系统安全杂志\u00a071\/3，249\u2013260（2001）“，“Journal-title”：“可靠性工程与体系安全杂志”}，{“doi-asserted-by”：“crossref”，“unstructured”：“Ajmone Marsan，M.、Gribaudo，M..、Meo，M.和Sereno，M.:基于Petri网的建模范式，用于无线互联网访问的性能分析。In:Petri网和性能模型，PNPM 2001，Aachen（2001年9月）“，”key“：”4_CR12“，”DOI“：”10.1109\/PNPM.2001.953352“}，{”unstructured“：”Sokol，J.，Widmer，J.：-USAIA泛在服务访问Internet Architecture-TR-01-003 International Computer Science Institute，Berkeley（2001）“，“key”：“4_CR13”}]，”container-title“：[”计算机科学课堂讲稿”，“计算机安全、可靠性和安全”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3540-39878-3_4”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2019,5,30]]，“日期-时间”：“2019-05-30T10:53:57Z“，”timestamp“：1559213637000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-39878-3_4”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[[2003]]}，《ISBN》：[“9783540201267”，“978354398783”]，“references-count”：13，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-39878-34”，“关系”：{}，“ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”电子“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[[2003]]}}