{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,18]]，“日期时间”：“2024-06-18T19:56:48Z”，“时间戳”：1718740608554}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{“值”：“9783540425410”，“类型”：“打印”}，{“值”：“9783540447986”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2001]]}，”DOI“：”10.1007\/3-540-44798-9_34“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T17:16:15Z“，”时间戳“：1178212575000}，”页面“：”449-464“，”源“：“Crossref”，“is-referenced-by-count”：15，“title”：[“From Operational Semantics to Denotational Semanitis for Verilog”]，“prefix”：“10.1007”，”author“：[{”given“：”Zhu“，”family“：”Huibiao“，”sequence“：”first“，”affiliation“：[]}“：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2001,8,24]]}，“reference”：[{“key”：“34_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”J.P。鲍文、何继峰、徐启文。VERILOG硬件描述语言的动态操作语义。程序。ICFEM2000:第三届IEEE正式工程方法国际会议，IEEE计算机社会出版社，第199\u2013207页，英国约克，2000年9月。”，“DOI”：“10.1109\/ICFEM.2000.873820”}，{“key”：“34_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.J.C.Gordon。Verilog HDL的语义挑战。程序。第十届IEEE计算机科学逻辑年会，IEEE计算机社会出版社，第136\u2013145页，1995年6月。“，“DOI”：“10.1109\/LICS.1995.523251”}，{“key”：“34_CR3”，“volume-title”：“Technical Report 204”，“author”：“H.Jifeng”，“year”：“2000”，“unstructured”：“何继峰、徐启文。模拟器算法的操作语义。《技术报告204》，联合国大学/研究所，邮政信箱3058，澳门，2000年。霍尔和何继峰。统一编程理论。Prentice Hall国际计算机科学系列，1998年。“}，{”key“：”34_CR6“，”unstructured“：”基于Verilog\u00ae硬件描述语言的IEEE标准硬件描述语言。IEEE标准1364\u20131995，1995。“”}，“key”：“34_CR7”，“volume-title”：“技术报告217”，”author“：”L.Yongjian“，”year“：”2000“，”非结构化“：”李永健、何继峰。形式化VERILOG：操作语义和互模拟。《技术报告217》，UNU\/IIST，邮政信箱3058，澳门，2000年11月。瑞文。持续时间微积分。《信息处理信件》，40（5）：269\u20132761991。“，“journal-title”：“信息处理信件”}，{“key”：“34_CR9”，“unstructured”：“朱慧彪和何继峰。使用持续演算的Verilog语义学。国际软件会议：理论与实践，第421\u2013432页，中国北京，2000年8月。”}卷标题：“技术报告SBU-CISM-01-08”，“作者”：“Z.Huibiao”，“年份”：“2001”，“非结构化”：“朱慧彪、乔纳森·鲍文和何继峰。从操作语义学到Verilog的指称语义学。技术报告SBU-CISM-01-08，英国伦敦南岸大学，2001年5月intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2019,2,16]]，”日期时间“：”2019-02-16T11:57:32Z“，”时间戳“：1550318252000}，”分数“：1，”资源“：{primary”：{“URL”：“http://link.sprimary.com\/10007\/3-540-44798-9_34”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2001]]}，“ISBN”：[“9783540425410”，“978354447986”]，“references-count”：10，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-44798-9_34”，“关系”：{}，“ISSN”：[“0302-9743”]，“ISSN-type”：[{“value”：“0302-7743”，“type”:“print”}]，“主题”：[]，“发布”：{“date-parts”：[[2001]]}}}}