{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T17:13:06Z”，“时间戳”：1693847586146}，“出版商位置”：“柏林，海德堡”，“参考计数”：18，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540253334”，“类型”：“打印”}，{“值”：“9783540319801”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_4“，”type“：”book-capter“，”created“：”{“date-part”：[2010,7,11]]，“date-time”：“2010-07-11T22:44:59 Z“，”时间戳“：1278888299000}，”页面“：”45-60“，“source”：“Crossref”，“is-referenced-by-count”：19，“title”：[“Using Language Inference to Verify Omega-Regular Properties”]，“prefix”：“10.1007”，”author“：[{”given“：”Abhay“，”family“：”Vardhan“，”sequence“：”first“，”affiliation“：[]}，{“given”：wanathan“，”序列“：“additional”，“affiliation”：[]}，{“given”：“Gul”，“family”：“Agha”，“sequence”：“addressive”，“abfiliation“：[]2]，“member”：“297”，“reference”：[{“key”：”4_CR1“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：”publisher“，”first page“348”，“doi”：“10.1007\/9788-3-540-27813-9_27”，”volume-title“计算机助手”d验证”，“作者”：“P.A。Abdulla，“年份”：“2004年”，“非结构化”：“Abdulla.P.A.，Jonsson，B.，Nilson，M.，d\u2019Orso，J.，Saksena，M.：LTL（MSO）的定期模型检查。In:Alur，R.，Peled，D.A.（编辑）CAV 2004。LNCS，卷\u00a03114，第348页\u2013360。Springer，Heidelberg（2004）“}，{”issue“：”2“，”key“：”4_CR2“，”doi-asserted-by“：”publisher“，”first page“：“87”，“doi”：“10.1016\/0890-5401（87）90052-6”，“volume”：“75”，“author”：“D.Anguin”，“year”：“1987”，“unstructured”：“Anguin，D.：从查询和反例中学习规则集。Inform.Comput.\u00a075（2），87\u2013106（1987）”，“新闻标题”：“通知。计算。“}，{”key“：”4_CR3“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“372”，”doi“：”10.1007\/978-3-540-27813-9_29“，”volume-title“：“计算机辅助验证”，”author“：”A.Bouajjani“，”year“：”2004“，”unstructured“：”Bouajjani，A.，Habermehl，P.，Vojnar，T.：抽象定期模型检查。In:Alur，R.，Peled，D.A.（编辑）CAV 2004。LNCS，第u00a03114卷，第372\u2013386页。Springer，Heidelberg（2004）“}，{”key“：”4_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“403”，”doi“：”10.1007\/10722167_31“，”volume-title“：“计算机辅助验证”，”author“：”A.Bouajjani“，”year“：”2000“，”unstructured“：”Bouajjani，A.、Jonsson，B.、Nilsson，M.、Touili，T.：定期模型检查。摘自：艾默生，E.A.，西斯特拉，A.P.（编辑）CAV 2000。LNCS，第u00a01855卷，第403\u2013418页。Springer，Heidelberg（2000）“}，{“key”：“4_CR5”，“unstructured”：“Bouajjani，A.，Legay，A.，Wolper，P.：处理（\u03c9-）规则模型检查中的活性属性。in:Proc.of Infinity 2004，London，UK（2004）”}，}“key:”4_CR6“，”first page“：”267“volume-title”：“计算机科学中第一届逻辑年度研讨会的进程”，“作者”：“E.A。艾默生“，“年份”：“1986年”，“非结构化”：“艾默生，E.A.，Lei，C.-L.：命题粘演算片段中的有效模型检查。摘自：第一届计算机科学逻辑年度研讨会论文集，华盛顿特区，第267\u2013278页。IEEE计算机学会出版社，Los Alamitos（1986）“｝，｛“key”：“4_CR7”，“first page”：“995”，“volume title”：“Handbook of Theory Computer Science”，“author”：“E.A.Emerson”，“year”：“1990”，“nonstructured”：“Emerson，E.A.：时态和模态逻辑。In：Leeuwen，J.V.（ed.）Handbook of Theory Computer Science，vol.\u00a0B，pp.995\u20131072。Elsevier，Amsterdam（1990）“}，{“key”：“4_CR8”，“volume-title”：“Proc.2nd Int.无限状态系统验证研讨会（INFINITY 1997）”，“author”：“L.Fribourg”，“year”：“1997”，“unstructured”：“Friboug，L.，Ols\u00e9n，H.：作为正则语言的参数化环的可达集。In:Proc.2rd Int。无限状态系统验证研讨会（INFINITY 1997）。Elsevier Science，Amsterdam（1997）“}，{“key”：“4_CR9”，“unstructured”：“Habermehl，P.，Vojnar，T.：使用正则语言推理进行常规模型检查。In:Proc.of Infinity 2004，London，UK（2004）”}，}，“key“：”4_CR10“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”220“，“doi”：“10.1007\/3-540-46419-0_16“，“volume-title”：“系统构造和分析的工具和算法”，“author”：“B.Jonsson”，“year”：“2000”，“unstructured”：“Jonsson，B.，Nilsson，M.：验证无限状态系统的正则关系的传递闭包。收录：Schwartzbach，M.I.，Graf，S.（编辑）TACAS 2000。LNCS，第u00a01785卷，第220\u2013234页。Springer，Heidelberg（2000）“}，{“key”：“4_CR11”，“unstructured”：“LEVER.Learning to verify tool（2004），http://\/osl.cs.uiuc.edu\/~vardhan\/LEVER.html”}，“key“：”4_CR12“，“series-title”：“series in Machine Perception and Artificial Intelligence”，“doi-asserted-by”：“publisher”，《first page》：“49”，“doi”：“10.1142\/9781279702_0004”，标题“：”模式识别和图像分析”，“作者”：“J.Oncina”，“年份”：“1992年”，“非结构化”：“Oncina，J.，Garcia，P.：推断多项式更新时间内的正则语言。In：模式识别和图像分析。机器感知和人工智能系列，第u00a01卷，第49\u201361页。世界科学，新加坡（1992）“}，{“key”：“4_CR13”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《计算机辅助验证》，“author”：“A.Pnueli”，“year”：“2000”，“unstructured”：“Pnuelli，A.，Shahar，E.：参数化验证中的活力和加速。in:Emerson，E.A.，Sistla，A.P.（eds.）CAV 2000。LNCS，体积\u00a01855。Springer，Heidelberg（2000）“}，{“key”：“4_CR14”，“first page”：“133”，“volume title”：“Handbook of Theory Computer Science”，“author”：“W.Thomas”，“year”：“1990”，“nonstructured”：“Thomas，W.：关于无限物体的自动机。In：Leeuwen，J.V.（ed.）Handbook of Theory Computer Science，vol.\u00a0B，pp.133\u2013191。Elsevier，Amsterdam（1990）“}，{“key”：“4_CR15”，“volume-title”：“ENTCS”，“author”：“T.Touili”，“year”：“2001”，“unstructured”：“Touili，T.：使用加宽技术的定期模型检查。In:ENTCS，vol.\u00a050。Elsevier，Amsterdam（2001）“}，{”key“：”4_CR16“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“494”，”doi“：”10.1007\/978-3-540-30538-5_41“，”volume-title“：“FSTTCS 2004:软件技术和理论计算机科学基础”，“author”：“A.Vardhan”，“year”：“2004”，“unstructured”：“”Vardhan，A.，Sen，K.，Viswanathan，M.，Agha，G.：积极学习验证fifo自动机的安全性。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，卷\u00a03328，第494\u2013505页。Springer，Heidelberg（2004）“}，{”key“：”4_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“274”，”doi“：”10.1007\/978-3-540-30482-1_26“，”volume-title“：“形式方法与软件工程”，”author“：”A.Vardhan“，“year”：“2004”，“unstructured”：“Vardhan，A.、Sen，K.、Viswanathan，M.、Agha，G.：学习验证安全特性。收录：Davies，J.、Schulte，W.、Barnett，M.（编辑）ICFEM 2004。LNCS，第u00a03308卷，第274\u2013289页。Springer，Heidelberg（2004）“}，{“key”：“4_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Vardhan，A.，Sen，K.，Viswanathan，M.，Agha，G.：使用语言推理验证omega-regular属性（2004），http://osl.cs.uiuc.edu\/docs\/omegaLearn2.pdf（完整版本）”，“doi”：“10.1007\/978-3540-31980-1_4”}]，“container-title”：[”系统构建和分析的工具和算法”，“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/978-3-540-31980-1_4.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{date-parts“：[[2020,11,19]]，“date-time”：“2020-11-19T04:32:49Z”，“timestamp”：1605760369000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-31980-1_4”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2005]]}”，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count”：18，“URL”：“http:\/\/dx.doi.org\/10.1007\/978-3-540-31980-1_4“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743“”，“type”：“print”}，{”value“：“1611-3399”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2005]]}}}}