{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,11]]，“日期-时间”：“2023-01-11T05:24:31Z”，“时间戳”：1673414671666}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：24，“出版者”：“ACM”，“内容-域”：{“域”：[“dl.ACM.org”]，“交叉标记限制“：true}，”short-container-title“：[]，“published-print”：{“date-parts”：[[2010,5,3]]}，“DOI”：“10.1145\/1808877.1808883”，“type”：“proceedings-article”，“created”：{-“date-parts”：[2010,6,1]]，“date-time”：“2010-06-01T12:21:35Z”，“timestamp”：1275394895000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“”source“：”Crossref“，”is-referenced-by-count“：1，”title“：[“概率模型检查的定向和启发式反例生成”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Husain”，“家族”：“Aljazzar”，“序列”：“第一”，“从属关系”：[[{名称”：“德国康斯坦茨大学”}]}}]}，{“给定”：“Florian”，“家族”：“Leitner-Fischer”，“序列”：“附加”，“附属关系”：[｛“名称”：“德国康斯坦茨大学”]｝，{“给定”：“Stefan”，“家族”：“Leue”，“序列”：“附加”，“附属关系”：[｛“名称”：“德国康斯坦茨大学”]｝]，“成员”：“320”，“在线发布”：{“日期部分”：[〔2010，5，3〕｝，“参考”：[｛“密钥”：“e_1_3_2_1_1”，“非结构化”：“www.autosar.org于2009年12月16日检查。www.autosar.org查看日期：2009年12月16日。“}，{”key“：”e_1_3_2_1_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/647765.735993”}，“key”：“e_1_ 3_2_1_3_1”，“volume-title”：“Konstanz大学，2009”，“author”：“Aljazzar H.”，”year“：”2009“}”，{doi“：”10.1109\/QEST.2009.8“}，{“键”：“e_1_3_2_1_5_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1007\/11867340_4“}，{“key”：“e_1_3_2_1_6_1”，“doi-assert-by”：“publisher”，”doi:“10.1109\/QEST.2008.40”}，“key“：”e_1_ 3_2_1_1_8_1“，by“：”publisher“，”doi“：”10.1109\/QEST.2009.10“}，{“key”：“e_1_3_2_1_10_1”，“unstructured”：“H.Aljazar和S.Leue。K*：启发式引导的实时K条最短路径搜索。2010年，提交出版。正在审查中。H.Aljazar和S.Leue。K*：启发式引导的实时K条最短路径搜索。2010年，提交出版。正在审查中。“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3642-01702-5_15“}”，{“key”：“e_1_ 3_2_12_1”，“unstructured”：“AUTOSAR GbR.Memory Services Requirements on Memory Service v.2.2.1”。www.autosar.org\/download\/autosar_SRS_MemoryServices.pdf已于2009年12月16日检查。AUTOSAR GbR。内存服务要求第2.2.1版。www.autosar.org \/download\/autosar_SRS_MemoryServices.pdf查看日期：2009年12月16日。serted-by“：”publisher“，”doi“：”10.1137\/S0097539795290477“}，{”key“：”e_1_3_2_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/QEST.2008.10”}，{“key”：“e_1_ 3_2_1_17_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/QEST.2007.34“}，”{“密钥”：“e_13_2_18_1”、“doi-aserted-by”:“publisher”，“doi:”10.1109\/TSE.2009.5“}”，{“e_1_3_2_19_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1007\/978-3-540-70545-1_16”}，{key“：”e_1_3_2_1_20_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/11691372_29”}，{“key”：“e_1_ 3_2_1_2 1_1”，“首页”：“179”，“卷时间”：“WEA'03，LNCS”，“作者”：“Jim\u00e9nez V.M.”，”年份“2003”}、{“密钥”：“e_1_2_1_22_1”、“doi-assert-by”：“publisher”、“doi“：“10.1109\/QEST.2005.2”}，{“问题”：“2”，“键”：“e_1_3_2_1_23_1”，“首页”：“9”，“article-title“：可靠性预测的随机奖励网。可靠性通信》，“卷”：“1”，“作者”：“Muppala J.”，“年份”：“1994”，“日志标题”：“可维护性和可维护性”}，{“关键”：“e_1_3_2_1_24_1”，《非结构化》：“J.Pearl.启发式——计算机问题解决的智能搜索策略。Addision——Wesley 1986。J.珀尔。启发式——计算机问题解决的智能搜索策略。Addision--Wesley 1986。“}，{”key“：”e_1_3_2_1_25_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-04081-8_39”}]，“event”：{”name“：”ICSE“10:第32届国际软件工程会议”，“location”：“南非开普敦”，“缩写词”：“ICSE“10”，“赞助商”：[”SIGSOFT ACM软件工程特别兴趣小组“，”IEEE CS“]}，“container-title“：[“2010年ICSE软件系统验证和设计中定量随机模型研讨会论文集”]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1808877.1808883”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放“：{“date-parts”：[[2023,10]]，“date-time”：“2023-01-10T20:12:59Z”，“timestamp”：1673381579000}，“score”：1，“resource”：{”primary“”URL“”：“https:\/\/dl.acm.org\/doi\/10.1145\/1808877.1808883”}，”副标题“：[”比较评估“]，”短标题“：[]，“issued”：{“date-parts”：[[2010,5,3]]}，references-count“：24，”alternative-id“：[”10.1145\/1808877.1808883“，”10.1145\-1808877“]，”URL“：”http://\/dx.doi.org\/10.1145\/18088“，”关系“：{}，”主题“：[]，”已发布“：{”日期部分“：[[2010,5,3]]}，“断言”：[{“值”：“2010-05-03”，“顺序”：2，“名称”：“已发布”，“标签”：“发布”，”组“：”名称“：”公开历史“，“标签”：“出版物历史”}}]}}