{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T22:29:18Z”，“时间戳”：1725661758728}，“引用计数”：24，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布-发布int“：{“date-parts”：[[2008]]}，“DOI”：“10.1109\/acsd.2008.4574602”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2010,12,8]]，“date-time”：“2010-12-08T14:27:32Z”，“timestamp”：1291818452000}，“page”：”108-117“，“source”：《Crossref》，“is-referenced-by-count”：26，“title”：[“分层UML状态机的符号模型检查”]，“prefix”：”10.1109“volume”：：“3576”，“作者“：[{”给定“：“Jori”，“family”：“Dubrovin”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Tommi”，“家族”：“Junttila”，“serquence”:“additional”，“abfiliation“：[]{”，“member”：“263”，“reference”：[{“doi-asserted-by”：”publisher“，”key“19”，“doi”：“10.1109\/DAC.20011.56196”}“，”doi“：”10.1016\/j.artint.2006.08.002“}，{”doi-asserted-by“：“publisher”，“key”：“17”，“DOI”：“10.1007\/9781-4615-3190-6”}，{“year”：“2004”，“author”：“rumbaugh”，“journal-title”：“The Unified Modeling Language Reference Manual”，”key“：”23“}，”{“key“:”18“，”first page“：{“年份”：“2006”，“作者”：“van langenhove”，“journal-title”：“UML中软件行为的正确性——一种基于切片的模型检查方法”，“key”：“24”}，{“key“：“15”，“first page“：”98“，”article-title“：”full pltl的增量和完整有界模型检查“，“volume”：”3576“，”author“：”heljanko“，”year“：”2005“，”journal-title“:”LNCS“}，”{“密钥”：“16”，“首页”：“94”，“article-title”：“模型检查动态和分层uml状态机”，“作者”：“jussila”，“年份”：“2006”，“日志标题”：“Proc MoDeV2a模型开发验证和验证”}，{“键”：“13”，“首页面”：“244”，“article-title”：“uml 2.0状态机：通过核心状态机完成形式语义”，“卷”：“4346”，“author”：“fecher”，“year”：“2007”，“journal title”：“LNCS”}，{“doi asserted by”：“publisher”，“key”：“14”，“doi”：“10.1016/S1567-8326（01）00012-1”}，{“year”：“2008”，“author”：“dubrovin”，“journal title”：“FMOODS’08”，“article title”：“用于基于对象的通信状态机的符号步骤编码”，“key”：“11”}，{“key”：“12”，“首页”：“502”，文章标题“：“an extensible sat-solver”，“volume”：“2919”，“author”：“ee？n”，“year”：“2004”，“journal-title”：“LNCS”}，{“年”：“2007”，“日记标题”：“UML 2 1 2上层结构规范”，“键”：“21”}“key”：“2”，“首页”：“343”，“文章标题”：“交互式验证uml状态机”，“卷”：“3308”，“作者”：“balser”，“年份”：“2004”，“日志标题”：“LNCS”}tle“：“nusmv version 2:用于符号模型检查的开源工具”，“volume”：“2404”，“author”：“cimatti”，“year”：“2002”，“journal-title”：“LNCS”}，{“doi-asserted-by”：“publisher”，“key”：”5“，“doi”：“10.2168 \/LMCS-2（5:5）2006”}“：”biere“，”year“：”1999“，“journal-title”：“LNCS”}，{“doi-asserted-by”：“publisher”，“key”：“9”，“doi”：“10.1016\/j.scico.2004.05.012”}：{“date-parts”：[[2008,6,23]]}，“location”：“中国西安”，“end”：{（日期-部件）：[[20008,6,27]]}}，”container-title“：[“2008年第八届系统设计并行应用国际会议”]，“original-title”：[]，“link”：[{“URL”：“http://\xplorestaging.ieee.org\/ielx5\/4562770\/457586\/045574602.pdf？arnumber=4574602”，“content-type”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,3,17]]，“date-time”：“2017-03-17T16:08:01Z”，“timestamp”：1489766881000}，“score”：1，“resource”：{primary“URL”：“http://ieeexplore.iee.org\/document\/4574602\/”}}，”subtittle“[]，”shorttitle“：[]，“已发布”：{“日期-部分”：[[2008]]}，“引用-计数”：24，“URL”：“http://\/dx.doi.org\/10.109\/acsd.2008.4574602”，“relational”：{}，“subject”：[]，“published”：{“date-parts”：[[2008]]}}}