｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T08:08:25Z”，“时间戳”：1725610105860｝，“引用计数”：23，“发布者”：“IEEE”，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已发布的打印”：｛“日期部分”：[[2009,7]]｝，“DOI”：“10.1109\/memcod.2009.5185376”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2009,8,11]]，“date-time”：“2009-08-11T15:09:22Z”，“timestamp”：1250003362000}，“page”：”36-45“，“source”：《Crossref》，“is-referenced-by-count”：2，“title”：[“PCI Express事务层的增量建模和验证”]，“prefix”：”10.1109“，“volume”:“16”，“author”：[{“given”：“Peter”，“family”：“Bohm”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[[{”key“：”19“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1391469.1391675“}，{”密钥“：”22“，”“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FAMCAD.2007.20”}，{“journal-title”：“QCheck\/SML Version 10”，“year”：“2007”，“key”：“23”}，{“journal-title”：“协调设计/验证离婚的时间”，“年”：“2008”，“author”：“kranen”，“密钥”：“18”}acl2逻辑”，“author”：“schmaltz”，“year”：“2006”，“journal-title”：“ACL2'06第六届ACL2定理证明器及其应用国际研讨会论文集”}，{“key”：“16”，“first-page”：“48”，“article-title“：“使用基于lsc的规范验证vci总线接口模型”，“author”：“bunker”，“year”：”：“2002”，“journal-ttitle”：《第六届集成设计与工艺技术双年度世界会议论文集》，{“key”：“13”，“doi断言者”：“出版者”，“doi”：“10.1109\/DATE2003.1253709”}，{“期刊标题”：“技术代表UCAM-CL-TR-602”，“文章标题”：“hol中amba协议的模型检查”，“年份”：“0”，“作者”：“amjad”，“key”：“14”}，{“key”：“11”，“首页”：“1035”，“article-title”：“用于pci-/pci-x和pci-express的基于系统级断言的验证环境”，“author”：“min”，“year”：“2007”，“journal-title“：“CIS’07国际计算智能与安全会议”}，{“key”：“12”，“doi-asserted-by”：“crossref”，“first-page”：“93”，“doi”：“10.1023\/A:1008729625855”，“artifle-titel”：“形式化和分析pci 2.1总线事务排序问题的解决方案”，“卷”：“16”，“作者”：“mokkedem”，“年份”：“2000年”，“日志标题”：“表单方法系统设计”}，{“关键”：“21”，“首页”：“107”，“文章标题”：：“朝向pci express事务和数据链接层的组合模型”，“作家”：“bo？hm”，“年度”：“2009年”，“journal-title”：“硬件设计和函数语言（HDL'09）参与者会议记录”}，{“journal-title“：”PCI Express Base Specification Revision 20“，”article-title：“PCI-sig”，“year”：“2006”，“key”：“3”}：“Designing Correct Circuits Septer 1990”}，{“journal-title”：“设计正确的电路研讨会（DCC'08）参与者会议记录”，“first page”：“15”，“article-title“：“design and verification of on-chip communication protocols”，“year”：“2008”，“key”：”2“}，“keys”：“1”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/FMCAD.2008.ECP.22”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICITA.2005.113”}，{“key”：“7”，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/3-540-60579-7_6“}，}“journal-title”：“Technical Report 364\/07”，”article-title“：”isabelle \/hol的代码生成器框架“，”year“2007”，“author”：“haftmann”，“key“：”6 2283“，”新闻标题“：“Isabelle \/HOL A Proof Assistant for Higher-Order Logic”，“year”：“2002”，“author”：“nipkow”，“key”：“5”}，{“journal-title”：“PCI express system architecture”，“年”：“2003”，“作者”：“budruk”，“密钥”：“4”}tle“：“验证并发算法的时序特性”，“author”：“luchangco”，“year”：“1995”，“journal-title”：“第七届IFIP WG6 1国际形式描述技术会议论文集VII”}，{“key”：“8”，“doi-asserted-by”：“crossref”，“first page”：”127“，“doi”：“10.1007\/3-540-58085-9_75”，“article-title“：“校对数据链接协议”，“author”：“helmink”，“year”：“1994”，“journal-title”：“TYPES’93校对和程序类型研讨会”}]，“event”：{“name”：“2009第七届IEEE\/ACM国际协同设计形式方法和模型会议（MEMOCODE）”，“start”：{“date-parts”：[[2009,7,13]]}，“location”：“Cambridge，MA，USA”，“end”：}“date-ports”用法：[2009,7,15]}}，“container-title”：[“2009第七届IEEE \/ACM国际协同设计形式方法和模型会议”]，“original-title“：[]，”link“：[{”URL“：”http://\/xplorestaging.IEEE.org\/ielx5\/5173407\/5185376.pdf？arnumber=5185376“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity y检查“}]，“存放”：｛“日期部分”：[[2017,6,18]]，“日期时间”：“2017-06-18T18:43:27Z”，“时间戳”：1497811407000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/ieexplore.ieee.org/document\/5185376\/”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2009,7]]｝，“引用次数”：23，“URL”：“http:\/\/dxf doi.org/10.1109\/memcod.2009.5185376“，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2009,7]]}}