{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[2022,4,2]，“日期-时间”：“2022-04-02T08:38:24Z”，“时间戳”：1648888704984}，“参考-计数”：27，“出版商”：“工程技术学院（IET）”，“问题”：“6”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“short-container-title”：[“IET Compute.Digit.Tech.”]，“published-print”：{“date-parts”：[[2011]]}，“DOI”：“10.1049\/IET-cdt.2010.0154”，“type”：“journal-article”，“created”：{“date-ports”：[[2011,12,5]]，“date-time”：“2011-11-25T23:04:24Z”，“timestamp”：1322264000}，”page：“479”，“source”：”Crossref“，”is-referenced-by-count“：3，”标题“：[“PSL安全属性的有效模型检查”]，“前缀”：“10.1049”，“卷”：“5”，“作者”：[{“给定”：“T”，“家族”：“Launiainen”，“序列”：“第一”，“从属关系”：[]}，“成员”：“265”，“引用”：[{“key”：“10.1049\/iet-cdt.2010.0154_r1”，“doi-asserted-by”：“crossref”，“first page”：”15“，”doi“：”10.1007\/11494744_2“，”author“：”McMillan“，”year“：”2005“，”journal-title“：”Int.Conf.Applications and Theory of Petri Nets 2005，ICATPN 2005“}，{”key“：”101049\/iet-cdt.2010.0154_r2“，”unstructured“：“\u2018PSL的自动构建\u2019，技术报告，2005年”}，{“key”：“10.1049\/iet-cdt.2010.0154_r3”，“first page”：”164“，”author“：”Eisner“，”year“：”2008“，”journal-title“：”Fourth Int.Haifa Verification Conf.，HVC 2008“}，”{“密钥”：“101049\/iet-cdt.2010.0154_r4”，“author”：“Eisner”}“，{”key“：”10.1049 \/iet-cdt.201.0154_r4 5“，”doi-asserted-by“：“publisher”，“DOI”：“10.1023\/A:1011254632723”}，{“key”：“101049\/iet-cdt.2010.0154_r6”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/s10703-006-4342-y“}，“key“：”10.1049\/eet-cdt.2010.0154_r7“，”DOI-assert-by“：”publisher“，”DOI“：“10.1007\/978-3-540-69850-0_11”}“，{”key：“10.1049\/iet-cdt.2010.0154_r8”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1023\/A:1008615614281”}，{“key”：“10.1049\/iet-cdt.2010.0154_r9”，“doi-asserted-by”：“crossref”，“first page”：”95“，“doi”：“101109\/ACSD.2010.27”，“author”：“Launiainen”，“year”：“2010”，“journal-title”：“Proc.Tenth Int.Conf.on Application of Concurrency to System Design（ACSD\u20192010）”}-cdt.2010.0154_r10“，”首页“：”14“，“author”：“Ben-David”，“year”：“2005”，“journal-title”：“First Int.Haifa Verification Conf.”}，{“key”：“10.1049”，“iet-cdt.2010.0154_r11”，“First page”：”153“，”author“：”Jin“，”year“：”2008“，”journal-title“：”Proc.First Int.Workshop on Harnessing Theorys for Tool Support in Software（TTSS 2007）“}，”{“密钥”：“101049”\/iet-cdt.201.0154_r12”，“doi-asserted-by”“”：“crossref”，“first page”：“229”，“DOI”：“10.1109\/TASE.2007.20”，”author”：“Jin”，“year”：“2007”，“journal-title”：“IEEE\/IFIP软件工程理论方面第一联合交响曲，TASE 2007”}，{“key”：”10.1049\/iet-cdt.2010.0154_r13“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1145\/129766.12976770日期：2010.0154_r14“，“首页”：“60”，“作者”：“Finkbeiner”，“年份”：“2009”，“日志标题”：“第九届国际运行时验证研讨会，RV 2009”}，{“密钥”：“10.1049 \/iet-cdt.2010.10154_r15”，“doi-asserted-by”：“crossref”，“first page”：“74”，“doi”：“101007\/3-540-44829-2_5”，“作家”：“Latvala”，“年”：“2003”，“日记标题”：”第十届国际SPIN研讨会模型检查软件“}，{“key”：“10.1049\/iet-cdt.2010.0154_r16”，“doi-asserted-by”：“publisher”，“doi”：“101007\/s10009-003-0121-x”}，{“密钥”：“10.0049\/iet-cdt.2010.0154_r17”，“首页”：“493”，“作者”：“舒潘”，“年份”：“2005”，“新闻标题”：“Int.Conf。系统构建和分析的工具和算法，TACAS 2005，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2005“}，{“key”：“10.1049\/iet-cdt.2010.0154_r18”，“doi-asserted-by”：“publisher”，“doi”：“10.2168\/LMCS-2（5:5DOI“：”10.1016\/0890-5401（92）90017-A“}，{“key”：“10.1049\/iet-cdt.2010.0154_r20”，“DOI-asserted-by”：“publisher”，“DOI”：“101023\/A:1008727508722”}，“key“：”101049\/iet-cdt.2010.0154_r21“，”DOI-assert-by“：”publisher“，”DOI“:”10.1007\/s10703-006-4341-z“}\/iet-cdt.2010.0154_r22“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1109 \/TCAD.2008.2003303“}，{“key”：“10.1049 \/iet-cdt.2010.0154_r23”，“unstructured”：“\u2018将属性分解为安全性和活性\u2019，技术报告，1987”}，}，“key“：”10.1049 \\iet-cdt.2010.0154_r24doi-asserted-by“：”crossref“，”first page“：”1“，”doi“：”10.1007\/BFb0055036“，”author“：”Kesten“，”year“：”1998“，”journal-title“：”Int.Colloquium Automata，Languages and Programming，ICALP'98“}，{”key“：Sipser，M.：\u2018计算理论导论\u2019，（1996年课程技术）“，”DOI“：”10.1145\/230514.571645“}，{“key”：“10.1049\/iet-cdt.2010.0154_r27”，“DOI-asserted-by”：“crossref”，“first page”：”98“，“DOI”：“101007\/11513988_10”，“author”：“Heljanko”，“year”：“2005”，“journal-title”：“Int.Conf.Computer Aided Verification，CAV 2005”}]，“容器标题“：[”IET计算机与数字技术“]，“原始标题”：[]，“语言”：“en”，“链接”：[｛”URL“：”https:\/\/Digital library.theet.org/content\/journey\/10.1049\/IET cdt.2010.0154？crawler=true&mimetype=application\/pdf“，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“已存放”：｛date-parts“：[[2021,1,1]]，“date-time”：“2021-01-01T02:42:23Z”，“timestamp”：1609468943000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-cdt.2010.0154”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2011年]}”，“references-count”：27，“新闻发布”：{“发布”：“6”，“发布-发布”：date-parts“：[[2011]]}}，”URL“：”http://\/dx.doi.org\/10.1049\/iet-cdt.2010.0154“，”relation“：{}，“ISSN”：[“1751-8601”]，“ISSN-type”：[{“value”：“1751-8801”，“type”:“print”}]，“subject”：[/]，“published”：{“date-part”：[2011]}}}}