{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T18:50:18Z”，“时间戳”：1648925418864}，“引用-计数”：16，“发布者”：“IEEE Compute.Soc”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器-时间“：[]”，“DOI“：”10.1109\/rtcsa.2000.896401“，“type”：“procesdings-article”，“created”：{“date-parts”：[[2002,11,8]]，“date-time”：“2002-11-08T02:03:12Z”，“timestamp”：1036720992000}，“source”：”Crossref“，“is-referenced-by-count”：5，“title”：[“使用随机过程代数进行性能评估的示例：ROSA”]，“prefix”：“10.1109”，“author”：[{“given”：：“first”，“affiliation”：[]}，{“given”：“F.”，“family”：“Cuartero”，“sequence”：“additional”，“abfiliation“：[]{”given“：”V.“，”family“：”Valero“，”sequence“：”additional“，”affiliance“：[]}“，”doi-asserted-by“：”publisher“，”doi“：“10.1017\/CBO9780511569951”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1991.151651”}I“：”10.1007\/3-540-60218-6_18“，“article-title”：“概率过程的接受树”，“volume”：“962”，“author”：“n\uffd\uffdez”，“year”：“1995”，“journal-title“：”CONCUR'95“}，{“key”：”ref14“，”first page“：”1“，”article-title“”：“PPNAL:概率非确定性过程代数模型中的性能评估”，“author”:“pelayo”，“year”：”1999“，”journal-title：“Proc 17th UK Performance Eng Workshop”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1990.113740”}，“年份”：“1996年”，“新闻标题”：“Proc Third AMAST Workshop on Real-Time Systems”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/APSEC.1997.640204”}、{“密钥”：“ref6”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/978-0-357-35358-6_12“年份”：“1997”，“journal-title”：“第四届AMAST实时系统研讨会”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/Real.1990.128759”}：“Proc IFIP TC2编程概念和方法工作会议”}，{“key”：“ref2”，“author”：“bloom”，“year”：“1989”，“journal-title”：“Logik at Botik”}975（00）00305-4“}]，”事件“：{”名称“：“第七届实时计算系统和应用国际会议”，“地点”：“韩国济州岛”，“缩写词”：“RTCSA-00”}，“容器-标签”：[“第七次实时计算系统与应用国际会议论文集”]，“原文标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/7188\/19358\/00896401.pdf？arnumber=896401”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2020,3,11]]，“日期-时间”：“2020-03-11T01:43:56Z”，“时间戳”：1583891036000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/896401\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]}，”引用计数“：16，”URL“：”http://\/dx.doi.org\/10.109\/rtcsa.2000.896401“，”关系“：{}，‘主题’：[]}