{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T13:37:25Z”，“时间戳”：1725716245531}，“引用计数”：15，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2013,7]]}，”DOI“：“10.1109\/acsd.2013.25”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2013,9,19]]，“date-time”：“2013-09-19T12:25:29Z”，“timestamp”：1379593529000}，“page”：”216-225“，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“Timed Automata MITL片段的有界模型检查”]，“prefix”：“10.109”，“volume”：4“，”作者“：[{”给定“：“Roland”，“family”：“Kindermann”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Tommi”，“家族”：“Junttila”，“serquence”:“additional”，“abfiliation“：[]{”，{（given）：“Ilkka”，“家庭”：“Niemela”，“：”DPLL（T）的快速线性算法求解器“，“volume”：“4144”，“author”：“dutertre”，“year”：“2006”，“journal title”：“Proc CAV 2006 Ser LNCS”}，｛“key”：“13”，“doi asserted by”：“publisher”，“doi”：“10.1007\/978-3-642-30793-56”｝，｛“key”：“14”，“first page”：“193”，“article title”：“无BDD的符号模型检查”，“volume”：“1579”，“author”：“biere”，“year”：“1999”，“journal title”：“Proc TACAS 1999 Ser LNCS“}，{“journal-title”：“CoRR”，“article-title（文章标题）”：“时间自动机MITL片段的有界模型检查（完整版）”，“year”：“2013”，“author”：“kindermann”，“key”：“11”}，{“key“：”12“，”doi-asserted-by“：”publisher“，”doi“：”10.2168 \/LMCS-2（5:5）2006“}，”{“密钥”：“3”，“doi-assert-by”：“publisher”，”doi:“10.1145 \/2279595.27602”}，{“键”：“2”，“首页”：“200”，“article-title”：“UPPAAL教程”，“卷”：“3185”，“作者”：“behrmann”，“年份”：“2004”，“期刊标题”：“Proc FM-RT 2004 Ser LNCS”}，{“key”：“1”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（94）90010-8”}“：”barrett“，”year“：”2009“，”journal-title“：“可满足性手册”}，{“key”：“7”，“doi-asserted-by”：“crossref”，“首页”：“116”，”doi“：”10.1016\/S1571-0661（04）80523-1“，”article-title“：”时间自动机的有界模型检查“，”volume“：”68“，”author“：”sorea“，“year”：“2002”，“journal-title”：“电子笔记理论计算科学”}“，{”key“：“6”，”doi-assert-by“：”cross ref“，”首页“：”87“，“DOI”：“10.1007\/978-3-540-27755-2_3”，“article-title”：“时间自动机：语义、算法和工具”，“volume”：“3098”，“author”：“bengtsson”，“year”：“2004”，“journal title”：《Concurrency and Petri Nets Ser LNCS讲座》}，{“key”：4“，“首页”：“274”，“文章标题”：“From MITL to timed automata”，“volume”：“4202”，“author”：“maler”，“year”：“2006”，“journal-title”：“FORMATS Ser LNCS”}，{“key”：”9“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ACSD.2011.29“}，“key“：”8“，”first page“：“，”年份“：”2002“，”新闻标题“：“Proc FORTE 2002 Ser LNCS”}]，“event”：{“name”：“2013年第13届系统设计并发应用国际会议（ACSD）”，“start”：}“date-parts”：[[2013,7,8]]}，“location”：“西班牙巴塞罗那”，“end”：{“date-parts”：[[2013,7,10]}}，”container-title“：[”2013年第十三届系统设计并行应用国际会议“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/6597648\/6598357.pdf？arnumber=6598357”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“deposed”：{“date-parts”：[2017,6,21]]，“date-time”：”2017-06-21T18:12:10Z“，“时间戳”：1498068730000}，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/ieexplore.ieee.org/document\/6598357\/”｝｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2013,7]]｝，“引用数”：15，“URL”：“http:\/\/dx.doi.org/10.1109\/acsd.2013.25”，“关系”：｛｝，“主题”：[]，“已发布”：｛“日期部分”：[[2013,7]]｝｝