{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T00:10:25Z”，“时间戳”：1648685425118}，“引用计数”：15，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“DOI”：“10.1109\/cdc.2003.1271797“，”类型“：“议事录文章”，“已创建”：{“日期部分”：[[2004,4,23]]，“日期-时间”：“2004-04-23T18:38:15Z”，“时间戳”：1082745495000}，“来源”：“Crossref”，“由计数引用”：1，“标题”：[“多车辆系统的计算和控制语言”]，“前缀”：“10.1109”，“作者”：[{“给定”：“E.”，“家族”：“Klavins”，“序列”：“第一”，“隶属关系”：[]}]，“member”：“263”，“reference”：[{“key”：“15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-60117-1_24”}，{“密钥”：“13”，“doi-asserte-by”：“publisher”，“DI:”10.1007\/978-1-4612-0931-7“}，“key“：”14“，“首页”：“239”，“article-title”：“并发编程的逻辑：安全与进度”，“volume”：”3“，”author“：”misra“，”year“：”1995“，”journal-title“：“计算机与软件工程杂志”}，{“key”：“11”，“article-title”：“多机器人系统的通信复杂性”，“author”：“klavins”，“year”：“2002”，“journal-title“：机器人算法基础研讨会”}，“journal-title”：“并行程序设计A基础”}，{“key”：“2”，“article-title“：“实时单位”，“卷”：“tr 94 10”，“作者”：“carruth”，“年份”：“1994”，“日记标题”：“技术报告”}“”，“author”：“alur”，“year”：“2000”，“journal-title”：“Hybrid Systems Computation and Control”}，{“key”：“10”，“doi-asserted-by”：“crossref”，”first page“：”174“，”doi“：”10.1007\/3-540-46430-1_17“，”article-title“：”根据产品装配规范自动编译并发混合工厂“，”author“：”klavins“，”year“：”2000“，”journal-title“：“混合系统计算与控制”}，{“key”：“7”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/361179.361202”}由“：”publisher“，”doi“：”10.1109\/CDC.2002.1184472“}提供，{“key”：“9”，“author”：“klavins”，“year”：“0”，“journal-title”：“The computation and control language（CCL）”}，{“key”：“8”，“doi-asserted-by”：“crossref”，“first page”：”166“，”doi“：”10.1007\/3-540-45449-7_12“，”article-title“Giotto：一种用于嵌入式编程的时间触发语言”，“作者”：“henzinger”，“年份”：“2001”，“日记标题”：“第一届嵌入式软件国际研讨会会议记录”}]，“事件”：{“名称”：“第42届IEEE国际决策与控制会议”，“地点”：“Maui，HI，USA”，“缩写”：“CDC-03”}，“容器-标签”：[“第42次IEEE国际决定与控制会议（IEEE分类号03CH37475）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/8969\/28456\/01271797.pdf？arnumber=1271797”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2018,5,6]]，“date-time”：”2018-05-06T05:56:04Z“，“timestamp”：1525586164000}，“score”：1，“resource”：{“primary”（主要）:{“URL”（URL）：“http://\/ieeexplore.iee.org\/document\/1271797\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[null]]}，”引用计数“：15，”URL“：”http://\/dx.doi.org\/10.109\/cdc.2003.1271797“，”关系“：{}”，“主题”：[]}