{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,12,31]]，“日期-时间”：“2022-12-31T11:17:05Z”，“时间戳”：1672485425852}，“引用-计数”：32，“发布者”：“爱思唯尔BV”，“问题”：“6”，“许可证”：[{“开始”:{“日期-零件”：[2002,6,1]]，”日期-时间“：”2002-06-01T00:00:00Z“，“时间戳”：10228896000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：13750560000}，“content-version”：“vor”，“delay-in-days”：4076，“URL”：“http://\/creativecommons.org\/licenses \/by-nc-nd \/3.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“理论计算机科学中的电子笔记”]，“published-print”：{“date-parts”：[[2002,6]]}，”DOI“：”10.1016\/s1571-0661（04）80476-6“，”type“：”journal-article“，”created“：{”date-part“：[[2004,9,28]]，”date-time“：”2004-09-28T19:29:25Z“，”timestamp“：1096399765000}“page”：“180-201“，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“LPN上使用部分顺序的定时电路的模块化合成”]，“prefix”：“10.1016”，“volume”：“65”，“author”：[{“given”：”Eric G.家庭“：“Yoneda”、“sequence”：“additional”，“affiliation”：[]}，{“given”：“Hao”，“family”：“Zheng”，“sequences”：“extendated”，“abfiliation“：[]2]，“member”：“78”，“reference”：[{“key”：”10.1016\/S1571-0661（04）80476-6_NEWBIB1“，”doi-asserted-by“：”crossref“，”first page“183”，“doi”：“10.1016\/0304-975（94）90010-8”，“article-title“：”时间自动机理论“，”卷“：”126“，”作者“：“Alur”，“year”：“1994”，“journal-title”：“理论计算机科学”}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB2”，《非结构化》：“Bellumini W.，\u201c定时电路和系统的合成和验证算法，犹他大学博士论文，1999年。”}、{“key”：”10.1016\/S1571-00661（04：“crossref”，“first page”：“129”，，“DOI”：“10.1109\/43.905681”，“article-title”：“使用TEL结构进行定时电路验证”，“volume”：”20“，“author”：“Bellumini”，”year“：”2001“，”journal-title“：”IEEE Transactions on Computer-Aided Design of Integrated Circuits“}，{”key“：”10.1016\/S1571-0661（04）80476-6_NEWBIB4“：“485”，“DOI”：“10.1007\/BFb0055643”，“article-title”：“定时系统的部分降阶”，“author”：“Bengtsson”，“year”：“1998”，“journal-title“：并行理论国际会议”}，{“key”：“101016\/S1571-0661（04）80476-6_NEWBIB5”，”DOI-asserted-by“：”crossref“，”DOI“：”10.1109\/32.75415“，”article-title“：“使用时间Petri网对时间相关系统进行建模和验证”，“卷”：“17”，“作者”：“Berthomieu”，“年份”：“1991”，“期刊标题”：“IEEE软件工程汇刊”}，｛“密钥”：“10.1016\/S15771-0661（04）80476-6_NEWBIB6”，“doi断言”：“crossref”，“非结构化”：“Bozga M.，O.Maler，A.Pnueli，and S。Yovine，《时间自动机符号验证的一些进展》，计算机辅助验证国际会议（1997年）。“，”DOI“：”10.1007\/3-540-63166-6_19“}，{“key”：”10.1016\/S1571-0661（04）80476-6_NEWBIB7“，”article-title“：”The tool KRONOS“，”volume“：”1066“，”author“：”Daws“，”year“：”1995“，”journal-title”：“Computer Science课堂讲稿”}，“key“：“：”crossref“，”unstructured“：”Dill，D。L.，有限状态并发系统的时序假设和验证，Proc。有限状态系统自动验证方法研讨会（1989年）。“，”DOI“：”10.1007\/3-540-52148-8_17“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Godefroid P.，Using partial orders to improve automatic verification methods，Proc.of Computer Aided verification Workshop（1990）.”，“DOI”：“101090\/diacs\/003\/21”}，“key“：”101016\/S1571-0671（04）80 476-6 _NEWBIB10“，”第一页：“38”，“文章标题”：“实现STARI芯片”，“作者”：“Greenstreet”，“年份”：“1995年”，“新闻标题”：。国际计算机设计会议“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB11”，“doi-asserted-by”：“crossref”，“unstructured”：“Henzinger T.，X.Nicollin，J.Sifakis，S.Yovine，实时系统的符号模型检查，第七届计算机科学逻辑研讨会论文集（1992）。”，“doi”：“101109\/LICS.1992.185551”}10.1016\/S1571-0661（04）80476-6_NEWBIB12“，”doi-asserted-by“：”crossref“，”first page“：”66“，”doi“：”10.1109\/40.683106“，”article-title“：”Designing for a gighertz“，”volume“：“3”，”author“：”Hofstee“，”year“1998”，”journal-title”：“IEEE MICRO”}，{“key”：“10.1016\/S1571-661（04）80 476-6_NEWBIB13“，“doi-asserted-by”：“crossref”，“unstructured”：“Hulgaard H.和S。M.Burns，一类Petri网的有效定时分析，Proc。国际计算机辅助验证会议（1995年）。“，”DOI“：”10.1007\/3-540-60045-0_67“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB14”，“DOI-asserted-by”：“crossref”，“unstructured”：“Jacobson H.，P.Kudva，P.Bose，P.Cook，S.Schuster，和E.G.Mercer，《同步互连Piplined CMOS》，异步电路和系统高级研究国际研讨会论文集（2002）。”，“DOI”：“10.1109\/ASYNC.2002.1000291“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB15”，“doi-asserted-by”：“crossref”，“unstructured”：“Katz S.和D.Peled，使用折叠定义条件独立性，并发BCS-FACS语义研讨会（1990）。”，“doi”：“101007\/978-1-4471-3860-0_16”}，}“密钥”：“10.0016\/S1571-0661“”doi-asserted-by“：”crossref“，”unstructured“：”Maler O.，and A.Pnueli，《使用时间自动机的异步电路时序分析》，CHARME’95（1995）。“，”DOI“：”10.1007\/3-540-60385-9_12“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB17”，“unstructured”：“McMillan，K.L.，\u201cSymbolic model checking:An approach to the state explosion problem，\u201博士论文，卡内基梅隆大学，匹兹堡，1992年。”}，“key“：”1016\/S1517-10661 le-title“：”改进了定时Petri网中的POSET定时分析”，“author”：“Mercer”，“year”：“2001”，“journal-title”：“Proc。混合技术的合成和系统集成》}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB19”，“doi-asserted-by”：“crossref”，“unstructured”：“Minea M.，\u201cPartial order reduction for verification of timed systems，\u201博士论文，卡内基梅隆大学，匹兹堡，1999年。”，“doi”：“101007\/3-540-48320-9_30”}10.1016\/S1571-0661（04）80476-6_NEWBIB20“，”doi-asserted-by“：”crossref“，”unstructured“：”Molnar，C.E.，I.W.Jones，Bill Coates，and Jon Lexau，=先进先出环形振荡器性能实验，Proc。异步电路和系统高级研究国际研讨会（1997），279--289。“，”DOI“：”10.1109\/ASYNC.1997.587181“}，{“键”：“10.1016\/S1571-0661（04）80476-6_NEWBIB21”，“非结构化”：“Myers，C。J.，\u201cComputer-Aided Synthesis and Verification of Gate-Level Timed Circuits，\u201博士论文，斯坦福大学，加州，1995。“}，{”key“：”10.1016\/S1571-0661（04）80476-6_NEWBIB22“，”doi-asserted-by“：”crossref“，”first page“：“769”，“doi”：“10.1109\/43.766727”，“article-title”：“POSET定时及其在门级定时电路合成和验证中的应用”，“卷”：“18”，“作者”：“迈尔斯”，“年份”：“1999”，“期刊标题”：“IEEE计算机辅助设计学报”}，{“密钥”：“10.1016\/S1571-0661（04）80476-6_NEWBIB23”，“非结构化”：“Pe\u00f1a，Marco A.，J.Cortadella，A.Kondratyev，and E。Pastor，定时电路安全特性的形式验证，Proc。异步电路和系统高级研究国际研讨会（2000年），2--11.“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB24”，“article-title”：“3.3-4.5 GHz异步联锁流水线CMOS电路”，“author”：“Schuster”，“year”：“2000”，“journal-title“Proc.International Solid State Circuits Conf.”}10.1016/S1571-0661（04）80476-6_NEWBIB25“，”doi断言“：”crossref“，”非结构化“：”Semenov A.，A.Yakovlev，E Pastor，M.Pe na，J.Cortadella，and L.Lavanio，基于偏序的速度无关电路合成方法，Proc。异步电路和系统高级研究国际研讨会（1997），254--265.“，”DOI“：”10.1109\/ASYNC.1997.587179“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB26”，“DOI-asserted-by”：“crossref”，“first page”：”217“，”DOI“：Stevens，“年份”：“2001年”，“期刊标题”：“IEEE固态电路杂志”}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB27”，“unstructured”：“Sutherland I.和S Fairbanks，GasP:最小FIFO控制，异步电路和系统高级研究国际研讨会论文集（2001），第46-53页。”}10.1016\/S1571-0661（04）80476-6_NEWBIB28“，”doi-asserted-by“：”crossref“，”unstructured“：”Valmari A.，对状态爆炸的顽固攻击，Proc。计算机辅助验证研讨会（1990年）。“，”DOI“：”10.1090\/dimacs\/003\/04“}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB29”，“series-title”：“系统设计中的形式化方法”，“首页”：“187”，“article-tite”：“并行实时系统的有效验证”，“author”：“Yoneda”，“year”：“1997”}，”{“key”：”10.1016\/S1571-661（04）80 476-6_NEWBIB30“，“DOI-asserted-by”：“crossref”，“非结构化“：”Yoneda T.和H.Ryu，使用部分阶数缩减的时间轨迹理论验证，Proc。第五届异步电路和系统高级研究国际研讨会（1999），108-121。“，”DOI“：”10.1109\/ASYNC.1999.761527“}，{“键”：“10.1016\/S1571-0661（04）80476-6_NEWBIB31”，“首页”：“151”，“文章标题”：“使用部分阶降阶的定时电路的模块化合成”，“作者”：“Yoneda”，“年份”：“2001”，“新闻标题”：程序。混合技术综合与系统集成》}，{“key”：“10.1016\/S1571-0661（04）80476-6_NEWBIB32”，“doi-asserted-by”：“crossref”，“unstructured”：“Zheng H.，E.Mercer，and C.Myers，定时电路和系统验证的自动抽象，计算机辅助验证国际会议（2001）。”，“doi”：“10.1007\/3-540-44585-4_16“}]，“container-title”：[“理论计算机科学中的电子笔记”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104804766？httpAccept=text\/xml”，“内容类型”：“text\/.xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“网址”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066104804766？httpAccept=text\/plain“，”content-type“：”text\/prain“，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2020,4,3]]，“date-time”：“2020-04-03T06:52:24Z”，“timestamp”：1585896744000}，“score”：1，“resource”：{primary“：{”URL“https:\\/linkinghub.elsevier.com//retrieve\/piii\/S157106 6104804766“}}，”副标题“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2002,6]]}，”references-count“：32，”journal-issue“：{“issue”：“6”，”published-print“：{”date-ports“：[[2002,6]]}}，“alternative-id”：[“S1571066104804766”]，“URL”：“http://\/dx.doi.org\/101016\/s1571-0661（04）80476-6”，“relation”：{}，，“ISSN”：[“1571-0661”]，“ISSN-type”：[{“value”：“1571-00661”，“type”:“print”}]，“subject”：[]，“已发布“：{“date-parts”：[[2002,6]]}}}