{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,2]，“日期时间”：“2024-03-02T22:00:45Z”，“时间戳”：1709416845648}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642180972”，“类型”：打印“}，{”值“：“9783642180989”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000｝，“content-version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/www.springer.com\/tdm”｝]，“content-domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-18098-9_10”，“type”：“book-chapter”，“created”：{”date-part“：[[2011，2,4]]，“date-time”：“2011-02-04T13:56:14Z”，“timestamp”：129682777000}，”page“：”87-94“，”source“：“Crossref”，“is-referenced-by-count”：1，“title”：[“From Sequential Extended Regular Expressions to NFA with Symbolic”标签“]”，前缀“：”10.1007“，“作者”：[{“given”：“Alessandro”，“family”：“Cimatti”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Sergio”，“家族”：“Mover”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Marco”“从属关系”：[]}]，“成员”：“297”，“引用”：[{“key”：“10_CR1”，“unstructured”：“IEEE属性规范语言（PSL）标准。IEEE Std 1850-2005（2005）”}，{“key”：“0_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，《first page》：“31”，“doi”：“10.1007\/11605157_3”，‘volume-title’：“Automata的实现和应用”，“author”：“P.Aziz Abdulla”，“年份”：“2006年”，“非结构化”：“Aziz Abdulla，P.，Deneux，J.，Kaati，L.，Nilsson，M.：具有大字母的非确定性自动机的最小化。收录：Farr\u00e9，J.、Litovsky，I.、Schmitz，S.（编辑）CIAA 2005。LNCS，第u00a03845卷，第31\u201342页。Springer，Heidelberg（2006）“}，{“key”：“10_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Boule，M.，Zilic，Z.：硬件仿真SERE的高效基于自动化的断言检查器综合。In:ASP-DAC，pp.324\u2013329（2007）”，“doi”：“10.1109\/ASPDC.2007.358006”}，}“issue”：“1”，“key“：”10_CR4”，“doi-asserted-by”，“publisher”，”首页“：”99”，“DOI”：“10.1142\\S0129054102000972”，“volume”：“13”，“author”：“J.-M.Champarnaud”，“year”：“2002”，“nonstructured”：“Champarnaud，J.-M.：从正则表达式中实现非确定性自动机的三个隐式结构的评估。发现的国际期刊。计算。科学。\u00a013（1），99\u2013113（2002）“，”期刊标题“：”国际期刊发现。计算。科学。“}，{”issue“：”2“，”key“：”10_CR5“，”doi-asserted-by“：”publisher“，”first-page“：”197“，“doi”：“10.1016\/S0747-7171（08）80125-3”，“volume”：“12”，“author”：“J.M.Champarnaud”，“year”：“1991”，“unstructured”：“Champarnoud，J.M.，Hansel，G.：Automate，一个用于自动机和有限半群的计算包。J.Symbl.Compute.\u00a012（2），197\u2013220（1991）“，”《新闻标题》：J.Symb。计算。“}，{”issue“：”4“，”key“：”10_CR6“，”doi-asserted-by“：”publisher“，”first-page“：”415“，”doi“：”10.1080\/00207169908804865“，“volume”：“72”，“author”：“J.-M.Champarnaud”，“year”：“1999”，“unstructured”：“Champarnoud，J.-M.，Ponty，J.-L.，Ziadi，D.：从正则表达式到有限自动机。国际计算机数学杂志\u00a072（4），415\u2013431（1999）“，”journal-title“：《国际计算机数学杂志》”}，{“issue”：“4”，“key”：“10_CR7”，“doi-asserted-by”：“publisher”，“first page”：”410“，”doi“：”10.1007\/s100090050046“，”volume“：”2“，”author“A.Cimatti”，“year”：“2000”，“unstructured”：“Cimatti，A.，Clarke，E.M.，Giunchiglia，F.，Roveri，M.：NUSMV：新符号模型检查器。STTT\u00a02（4），410\u2013425（2000）“，”journal-title“：”STTT“}，{“key”：“10_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Cimatti，A.，Roveri，M.，Tonetta，S.：PSL的符号编译。IEEE集成电路和系统计算机辅助设计汇刊，1737\u20131750（2008）”，“doi”：“10.1109\/TCAD.2008.20003303”}，}，“key“：”10_CR 9“，”volume-title“：“模型检查”，“作者”：“E.M.Clarke”，“年份”：“1999年”，“非结构化”：“Clarke，E.M.，Grumberg，O.，Peled，D.A.：模型检查。麻省理工学院出版社，剑桥（1999）“}，{“key”：“10_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Henriksen，J.G.，Jensen，J.，J\u00f8rgensen，M.，Klarlund，N.，Paige，B.，Rauhe，T.，Sandholm，A.：Mona：实践中的一元二阶逻辑（1995）”，“doi”：“10.7146\/brics.v2i21.19923”}，“{”key“：”10_CR11“，“volume-title”：“自动机理论、语言和计算导论”，“作者”：“J.E.霍普克罗夫特”，“年份”：“1979年”，“非结构化”：“霍普克罗夫，J.E.，乌尔曼，J.D.：自动机理论，语言和计算简介。Addison-Wesley，Reading（1979）“}，{“key”：“10_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Ilie，L.，Navarro，G.，Yu，S.：关于NFA缩减。In:Theory is Forever，pp.112\u2013124（2004）”，“doi”：“10.1007\/9788-3-540-27812-2_11”}，“首页”：“537”，“DOI“：”10.1007\/BFb0029017“，”volume-title“：”STACS 1989“，”author“：”V.Kell“，”year“：”1989“，“unstructured”：”Kell，V.，Maier，A.，Potthoff，A.，Thomas，W.，Wermuth，U.：AMORE:计算自动机、幺半群和正则表达式的系统。收录：Cori，R.，Monien，B.（编辑）STACS 1989。LNCS，第00a0349卷，第537\u2013538页。Springer，Heidelberg（1989）“}，{”key“：”10_CR14“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-1-4612-0931-7“，“volume-title”：“The Temporal Logic of Reactive and Concurrent Systems，Specification”，“author”：“Z.Manna”，“year”：“1992”，“unstructured”：“Manna，Z.，Pnueli，A.：反应和并发系统的时间逻辑，规范。Springer Verlag，New York（1992）“}，{“key”：“10_CR15”，“unstructured”：“Pill，I.：需求工程和PSL属性的有效验证。格拉茨理工大学博士论文（2008）”}，}“issue”：“4”，“key“：”10_CR16“，”doi-asserted-by“：”publisher“，”first page“：“341”，“doi”：“10.1006 \/jsco.1994.1023”，“volume”：”17“，“author”：“D.Raymond”，“年份”：“1994年”，“非结构化”：“Raymond，D.，Wood，D.：Grail:一个用于自动机和表达式的C++库。J.塞姆。计算。\u00a017（4），341\u2013350（1994）“，“新闻标题”：“J.Symb。计算。“}，{”issue“：”3“，”key“：”10_CR17“，”doi-asserted-by“：”publisher“，”first page“：“263”，”doi“：”10.1023\/A:1012291501330“，“volume”：“4”，“author”：“G.Noord van”，“year”：“2001”，“unstructured”：“van Noord，G.，Gerdemann，D.：谓词和恒等式的有限状态转换器。语法\u00a04（3），263\u2013286（2001）”，“journal al-title“：”Grammars“}，{”key“：”10_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Veanes，M.、Grigorenko，P.、de Halleux，P.和Tillmann，N.：Rex：符号正则表达式浏览器。在：ICST（2010）“，”DOI“：”10.1109\/ICST.2010.15“}，{“key”：“10_CR19”，“volume-title”：“SystemVerilog断言实用指南”，“author”：“S.Vijayaraghavan”，“year”：“2005”，“unstructured”：“Vijayara ghavan，S.，Ramanathan，M.：SystemVerillog断言实用指导。Springer，Heidelberg（2005）”}，“key“：”10_CR20“，”非结构化“：”Watson，B.W.：有限自动机构造算法分类。技术报告，埃因多芬理工大学\u2013数学与计算科学（1994）“}，{“key”：“10_CR21”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《306》，“doi”：“10.1007\/978-3-540-85114-1_21”，“volume-title”：《模型检查软件》，“author”：“F.Yu”，“year”：“2008”，“unstructured”：“Yu，F.，Bultan，T.，Cova，M.，Ibarra，O.H.：符号字符串验证：基于自动化的方法。收录：Havelund，K.，Majumdar，R.（编辑）SPIN 2008。LNCS，第u00a05156卷，第306\u2013324页。Springer，Heidelberg（2008）“}]，“container-title”：[“Automata的实现与应用”，“计算机科学中的课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com\/content\/pdf\/10.1007\/978-3642-18098-9_10”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-Application”：“相似性检查”}]存放“：{“date-parts”：[[2019,6,8]]，“date-time”：“2019-06-08T10:18:50Z”，“timestamp”：155998913000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\link.springer.com\/10.1007\/978-3642-18098-9_10“}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2011年]}，83642180972“，”97836421800989“]，”references-count“：21，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-642-18098-9_10“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2011】】}}}}