{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T12:31:55Z”，“时间戳”：1725625915960}，“引用计数”：23，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2010]]}，”DOI“：“10.1109\/acsd.2010.27”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2010,8,24]]，“date-time”：“2010-08-24T14:59:09Z”，“timestamp”：1282661949000}，“page”：”95-104“，“source”：：“Crossref”，“is-referenced-by-count”：6，“title”：[“PSL安全属性的高效模型检查”]，“prefix”：”10.1109“，”volume“：”207“，”author“：[{”给定“：”Tuomas“，”family“：“Launiainen”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Keijo”，“family”：“Heljanko”，“serquence”:“additional”，“filiation“：[]{”，{”given“：“Tommi”，“fumily”:“Junttila”，“sequence”=“additionable”，“abfiliation（从属关系）：[]2]，“member”：“263”，“reference”：[{“key”：”“ref10”，“doi-asserted-by”：”：“publisher”，”doi“10.1145\/129766.1297670“}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3642-04694-0_5”}，{“key”：“ref12”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/3-540-44829-2_5“}”，{”key“：”ref13“，”DOI-assert-by“：”publisher \/978-3-540-31980-1_32“}，{“key”：“ref15”，“DOI-asserted-by”：“publisher”，“DOI”：“10.2168\/LMCS-2（5:5）2006”}，{“key”：“ref16”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0890-5401（92）90017-A”}006-4341-z“}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TCAD.2008.2003303”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1011254632723”}，{”article-title“：“IEEE Std 1850属性规范语言的形式语法和语义”，“year”：“2008”，“author”：“eisner”，“key“：”ref3/A:1008615614281“}，{”键“：”参考5“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10703-006-4342-y”}，{“key”：“ref8”，“first page”：”153“，“article-title”：“基于断言的PSL Simple的工程-使用交替自动机的Verilog动态验证器”，“volume”：：“207”，“author”：“jin”，“year”：“2008”，“journal-title“：”Proc TTSS 2007 ser Electronic Notes in Theory Computer Science“}，”{“key”：“ref7”，“首页”：“14”，“article-title”：“安全简单子集”，“卷”：“3875”，“作者”：“ben-david”，“年份”：“2005”，“日记标题”：“CC 2005年计算机科学学报Ser讲稿”}，{“key”：“ref2”，“第一页”：”164“，”article-title“：”结构性矛盾“，”卷“5394”，“作家”：“eisner”，“年”：“2008”，“日志标题”：“Proc HVC 2008 ser计算机科学课堂讲稿”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11494744_2”}{“key”：“ref22”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/230514.571645”}，{“key”：“ref21”，“first-page”：“1”，“article-title”：“线性时序逻辑规范的算法验证”，“volume”：”1443“，”author“：”kesten“，”year“：”1998“，”journal-title“：”Proc ICALP 1998：“完整PLTL的增量和完整有界模型检查”，“卷”：“3576”，“作者”：“heljanko”，“年份”：“2005”，“期刊标题”：“CAV 2005年的进展”}]，“事件”：{“名称”：“2010年第十届并行应用于系统设计国际会议”，“开始”：{“日期部分”：[[2010,6,21]]}，“位置”：“布拉加，待定，葡萄牙”，“结束”：：[[2010,6,25]]}}，“container-title”：[“2010年第十届系统设计并行应用国际会议”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/5552634\/55552669\/05552685.pdf？arnumber=5552685”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-Application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,18]]，“日期时间”：“2017-03-18T20:39:27Z”，“时间戳”：1489869567000}，“分数”：1，“资源”：{“主要”：{'URL”：“http://\/ieeexplore.ieee.org\/document\/5552685\/”}}，”副标题“：[]，”短标题“：[]，”已发布“日期部分“：[2010]]}”，“引用计数”：23，“URL”：“http://\/dx.doi.org\/10.109\/acsd.2010.27”，“关系”：{}，“主题”：[]，“已发布”：｛“日期部分”：[[2010]]｝｝｝