{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T15:37:01Z”，“时间戳”：1725550621622}，“出版商位置”：“柏林，海德堡”，“参考计数”：5，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“978383836 540291053“}，{”类型“：”电子“，“value”：“9783540320302”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11560548_34“，”type“：”book-capter“，”created“：”{“date-part”：[[20005,10,6]]，“date-time”：“2005-10-06T05:38:22Z”，“timestamp”：1128577102000}，“页面”：“371-375”，“来源”：“交叉引用”，“is-referenced-by-count”：2，“title”：[“基于FPGA的硬件设计的高级建模、分析和验证”]，“prefix”：“10.1007”，“author”：[{“given”：“Petr”，“family”：“Matou\u0161ek”、“sequence”：“first”，“affiliation”：[]}，{“given”:“Ale\u0161”，“家族”：“Smr\u010dka”，“sequences”：“additional”，“从属关系”：[]}，“givent”：“Tom\u”00e1\u0161“，”家庭“：“Vojnar”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“34_CR1”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，”first page“：”368“，”doi“：”10.1007\/3-540-44585-4_34“，”volume-title“计算机辅助验证”，“author”：“A.Bouajjani”，“year”：“2001”，“unstructured”：“Bouajjani，A.，Collomb-Annichini，A.，Sighireanu，M.：TReX：复杂系统可达性分析工具。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，卷\u00a02102，第368页。Springer，Heidelberg（2001）“}，{“key”：“34_CR2”，“unstructured”：“Hole\u010dek，J.，Kratochv\u00edla，T.，Reh\u00e1k，V.，\u0160afr\u00e1-nek，D.，Sime\u011dek，P.：如何规范化FPGA硬件设计。技术报告4\/2004，CESNET（2004年10月）”}，}，“key“：”34_CR3“，”doi-asserted-by“：”crossref“，”非结构化“：”Matou\u0161ek，P.，Smr\u010dka，A.，Vojnar，T.：Scampi2的高级建模、分析和验证。技术报告，CESNET（2005）（待发布）“，”DOI“：”10.1007\/11560548_34“}，{”key“：”34_CR4“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”DOI“：“10.1007\/978-3-540-45234-8_96”，”volume-title“：“现场可编程逻辑和应用”，”author“：”J.Novotn\u00fd“，“年份”：“2003”，“非结构化”：“Novotn\u00fd，J.，Fu\u010d\u00edk，O.，Anto\u0161，D.：带FPGA硬件加速器的IPv6路由器项目。收录于：Y.K.Cheung，P.，Constantinides，G.A.（编辑）FPL 2003。LNCS，卷\u00a02778。Springer，Heidelberg（2003）“}，{“key”：“34_CR5”，“unstructured”：“Pettersson，P.，Larsen，K.G.：Uppaal2k.In:欧洲理论计算机科学协会公报”}]，“container-title”：[“计算机科学讲义”，“正确的硬件设计和验证方法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/11560548_34.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,17]]，”date-time“：“2020-11-17T14:50:28Z”，”timestamp“：1605624628000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/11560548_34“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2005]]}，“ISBN”：[“9783540291053”，“9783510320302”]，“references-count”：5，“URL”：“http://\/dx.doi.org\/10107\/1156048_34”，“关系”：{}，《国际标准图书编号》：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-9743”}，{“类型”：“electronic”，“value“：”1611-3349“}]，“subject”：[]，“published”：{“date-parts”：[[2005]]}}}