{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,6,20]]，“日期时间”：“2024-06-20T15:10:28Z”，“时间戳”：1718896228847}，“引用计数”：7，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“date-parts”：[[2006]]}，“DOI”：“10.1109\/qest.2006.59”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2011,6,8]]，“date-time”：“2011-06-08T08:59:16Z”，“timestamp”：1307523556000}，“source”：”Crossref“，“is-referenced-by-count”：50，“title”：[“UPPAAL 4.0”]，“prefix”：“10.1108”，“author”：[{“给定”：“M.”，“family”：“Hendriks”，”sequence“：“first”，“affiliation”：[]}，{“given”：“P.”，“family”：“Petterson”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“J.”，“family”：“Hakansson”，”sequence“：”additional“，”affiliance“：[]{”given“：”K.G.“，”family“：”Larsen“，”se序列“：”additional“”，“abfiliation“：[]}，}“giving”：“A.贝尔曼“，”序列“：”附加“，“affiliation”：[]}，{“family”：“Wang Yi”，“sequence”：“additional”，“affaliation”（附加）：[]{、{“given”：“P.”，“families”：“Petterson”，“serquence”（序列）：“additive”，“abfiliation（附加）”：“J.”，{《family》：“Hakansson”，{“given”：“A.”，“family”：“David”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“G.”，“family”：“Behrmann”，“segment”：“附加”，“从属关系”：[]}，}“giving”：“M.”，”family“：“Hendriks”，sequence“：”additional“，”affiliance“：[]{”families“：”Wang Yi“，”sequence：“197”，“文章标题”：“有限状态并发系统的时序假设和验证”，“卷”：“407”，“作者”：“dill”，“年份”：“1989”，“日志标题”：“ser LNCS”}，{“key”：“2”，“作家”：“david”，“年”：“2006”，“journal-title”：“使用dbm减法检查具有优先级的模型时间自动机”}、{“键”：“1”，“文章标题”：“时间自动机基于区域抽象的上下限”，“作者”：“behrmann”，“年份”：“2005年”，“期刊标题”：“技术转让软件工具国际期刊”}，{“key”：“7”，“年”：“0”}}]，“事件”：{“名称”：“第三次系统定量评估国际会议”，“地点”：“加利福尼亚州里弗赛德”，“开始”：{“日期部分”：[[2006,9,11]]}，“结束”：{“日期部分”：[[2006,9,14]}}，“容器标题”：[“第三次系统定量评估国际会议-（QEST'06）”]，“原标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/11169\/35961\/01704000.pdf？arnumber=1704000”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,2,3]]，“date-time”：：“2020-02-03T06:05:53Z”，“timestamp”：1580709953000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/ieeexplore.iee.org\/document\/1704000\/”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2006]]}，”引用计数“：7，”URL“：”http://\/dx.doi.org\/10.109\/qest.2006.59“，”关系“：{}