{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T08:16:09Z”，“时间戳”：1649146569236}，“引用-计数”：20，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记-限制”：false}，”短容器-时间“：[]”，“发布-打印”：{“日期部分”：[[2016,5]]}，“DOI”：“10.1109\/wodes.2016.7497866”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2016,6,25]]，“date-time”：“2016-06-25T07:36:10Z”，“timestamp”：1466840170000}，“source”：《Crossref》，“is-referenced-by-count”：2，“title”：[“在模拟的区间马尔可夫链上保持不透明度”]，“prefix”：“10.1108”，“author”：[{“given”：”Beatrice“，“family”：“贝拉德”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Olga”，“family”：“Kouchnarenko”，“segment”：“additional”，“atfiliation“：[]{”given“：”John“，”family“：”Mullins“，”sequence“：”additional“，”affiliance“：[]}，“givent”：“Mathieu”，“家庭”：“Sassolas”，“sequence”:“additionable”，“从属关系”：[]{“成员”：“263”，“reference”：[{“key”：“ref10”，“article-title”：“随机分布式实时系统的建模与验证”，“author”：“segala”，“year”：“1995”}，{“key”：“ref11”，“first page”：《302》，“article-title”：“区间马尔可夫链的欧米伽正则性态的模型检验”，“author”:“chatterjee”，“year”:“2008”，“journal title”：《FOSSACS’08年公报》}，}“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2011.05.010”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-36742-7_3”}key“：”ref15“，”article-title“：“基于细化建模中的概率不透明性”，“author”：“b\u00e9rard”，“year”：“2015”，“journal-title”：“CoRR”}，{“key”：“ref16”，“author”:“billingsley”，“year”：《1995》，“jornal-tittle”：《概率与测度》}，}“key:”“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/QEST.2010.40”}ted-by“：”publisher“，”doi“：“10.1007\/BF00206326”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/1159452_16”}“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S0960129513000637”}，{“key“：”ref5“、“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TAC.2013.2279914”}，{“key”：“ref8”，“doi-sserted-by“：”publisher“，”doi“：”10.1016\/j.ic.2005.03.001“}，“key“：”ref7“，”doi-assert-by“:”publishers“，”doi“：“，”doi“：”10.1007\/11787006_10“}，{”key“：”ref1“，”doi-asserted-by“：”publisher“，”doi“：“10.3233\/JCS-2009-0393”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1991.151651”}rts“：[[2016,5,30]]}，“结束”：{“日期部分”：[[2016,6,1]]}}，“容器标题”：[“2016年第13届离散事件系统国际研讨会（WODES）”]，“原始标题”：[]，“链接”：[{“URL”：“http:\/\/exploresting.iee.org/ielx7\/77493813\/77497815\/07497866.pdf？arnumber=77497866”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”}]，“存放”：{“日期-部分”：[[2016,9,29]]，“日期-时间”：“2016-09-29T20:49:29Z”，“时间戳”：1475182169000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/ieeexplore.ieee.org\/document\/7497866\/”}}，”副标题“：[]，”短标题“：[]，”发布“日期-部件”：[2016,5]]}，：20，“URL”：“http://\/dx.doi.org\/10.109\/wodes.2016.7497866”，“关系”：{}，“主题”：[]，“已发布”：{“日期部分”：[[2016,5]]}}}