｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,9,5]]，“date-time”：“2024-09-05T15:23:40Z”，“timestamp”：1725549820514｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：14，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“type”：“print”，“value”：“9783540272311”｝，｛“type”：“electronic”，“value”：“9783540316862”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/11513988_38“，”type“：”book-capter“，”created“：”{“date-part”：[2010,3,12]，“date-time”：“2010-03-12T08:33:28Z”，“时间戳“：1268382808000}，”页面“：”394-407“，”源“：“Crossref”，“is-referenced-by-count”：9，“title”：[“Expand，Enlarge and Check…Made Efficient”]，“prefix”：“10.1007”，”author“：[{”given“：”Gilles“，”family“：”Geeraerts“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jean-Fran\u00e7ois”，“family”：“Raskin”，“segment”：“additional”，“atriation”：[]}“Van Begin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“38_CR1”，“first-page”：“313”，“volume-title”：“1996年的LICS Proc.”，“author”：“P.A.Abdulla”，年：“1996”，“unstructured”：“Abdulla.，P.A.，Cerans，K.，Jonsson，B.，Tsay，Y.-K.：无限状态系统的一般可判定性定理。收录：1996年LICS的程序，第313\u2013321页。IEEE，Los Alamitos（1996）“}，{”key“：”38_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“208”，”doi“：”10.1007\/3-540-49059-0_15“，”volume-title“：“系统分析构建的工具和算法”，“author”：“P.Abdulla”，“year”：“1999”，“unstructured”：“Abdulla，P.，Annichini，A.，Bouajjani，A.：有损信道系统的符号验证：有界重传协议的应用。收录：Cleaveland，W.R.（编辑）TACAS 1999。LNCS，卷\u00a01579，第208\u2013222页。Springer，Heidelberg（1999）“｝，｛“issue”：“1”，“key”：“38_CR3”，“doi asserted by”：“publisher”，“first page”：“39”，“doi”：“10.1023\/B:FORM.00000033962.51898.1a”，“volume”：“25”，“author”：“P.A.Abdulla”，“year”：“2004”，“nonstructured”：“Abdulla，P.A.，Collomb-Annichini，A.，Bouajjani，A.，Jonsson，B.：使用前向可达性分析验证有耗信道系统。形式方法系统。设计。\u00a025（1），39\u201365（2004）“，“期刊标题”：“形式方法系统。设计。“}，{”key“：”38_CR4“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”first-page:“179”，“doi”：“10.1007\/3-540-58152-9_11”，“volume-title”：“Petri网的应用与理论1994”，“author”：“G.Ciardo”，”year“：“1994”，”unstructured“：”Ciardo，G.：具有标记相关弧多重性的Petri网：特性和分析。收录人：Valette，R.（编辑）ICATPN 1994。LNCS，第u00a0815卷，第179\u2013198页。Springer，Heidelberg（1994）“}，{”key“：”38_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“298”，”doi“：”10.1007\/3-540-44585-4_28“，”volume-title“：“计算机辅助验证”，”author“：”G.Delzanno“，”year“：”2001“，”unstructured“：”Delzanno，G.，Raskin，J.-F.，Van Begin，L.：攻击象征性国家爆炸。收录：Berry，G.，Comon，H.，Finkel，A.（编辑）CAV 2001。LNCS，第u00a02102卷，第298\u2013310页。Springer，Heidelberg（2001）“}，{”key“：”38_CR6“，”首页“：”70“，”volume-title“：”LICS 1998的程序“，”author“：”E.A.Emerson“，”year“：”1998“，”unstructured“：”Emerson，E.A.，Namjoshi，K.S.：《关于非确定性无限状态系统的模型检查》。收录：LICS 1998程序，第70\u201380页。IEEE，Los Alamitos（1998）“}，{”key“：”38_CR7“，”首页“：”352“，”volume-title“：”LICS 1999的程序“，”author“：”J.Esparza“，”year“：”1999“，”unstructured“：”Esparza，J.，Finkel，A.，Mayr，R.：关于广播协议的验证。In：LICS 1999程序，pp.352\u2013359。IEEE，Los Alamitos（1999）“}，{”key“：”38_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“210”，”doi“：”10.1007\/3-540-56689-9_45“，”volume-title“：“1993年Petri网的进展”，”author“：”A.Finkel“，”year“：”1993“，”unstructured“：”Finkel，A.：Petri网的最小覆盖图。收录：Rozenberg，G.（编辑）APN 1993。LNCS，第u00a0674卷，第210\u2013243页。Springer，Heidelberg（1993）“}，{“问题”：“1-2”，“关键”：“38_CR9”，“doi-asserted-by”：“出版商”，“首页”：“63”，“doi”：“10.1016\/S0304-3975（00）00102-X”，“卷”：“256”，“作者”：“A.Finkel”，“年份”：“2001”，“非结构化”：“Finkel，A.，Schnoebelen，P.：到处都是结构良好的过渡系统！理论计算机科学\u00a0256（1-2），63\u201392（2001年）“，”journal-title“：”Theoryal Computer Science“}，{“key”：“38_CR10”，“unstructured”：“Finkel，A.，Geeraerts，G.，Raskin，J.-F.，Van Begin，L.：最小覆盖树算法的反例，技术报告ULB 535，\n\n http://www.ULB.ac.be\/di\/ssd\/geeraer\/papers\/FGRV05-coverability.pdf”}，{“key”：“38_CR11”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：《287》，“doi”：“10.1007\/978-3-540-30538-5_24”，“volume-title”：《FSTTCS 2004:软件技术和理论计算机科学基础》，“author”：“G.Geeraerts”，“year”：“2004”，“unstructured”：“Geeraerts，G.，Raskin，J.-F.，Van Begin，L.：扩展、放大和检查：WSTS可覆盖性问题的新算法。收录：Lodaya，K.，Mahajan，M.（编辑）FSTTCS 2004。LNCS，第00a03328卷，第287\u2013298页。Springer，Heidelberg（2004）“}，{”issue“：”3“，”key“：”38_CR12“，”doi-asserted-by“：”publisher“，”first page“：“303”，“doi”：“10.1023\/A:1026228213080”，“volume”：“23”，“author”：“T.A.Henzinger”，“year”：“2003”，“unstructured”：“Henzinger，T.A.，Kupferman，O.，Qadeer，S.：从史前到后现代的符号模型检验。系统设计中的形式方法\u00a023（3），303\u2013327（2003）“，“journal-title”：“系统设计的形式方法”}，{“issue”：“5”，“key”：“38_CR13”，“doi-asserted-by”：“publisher”，“first-page”：“251”，“doi”：“10.1016\/S0020-0190（01）00337-4”，“volume”：”83“author”：“P.Schnoebelen”，“year”：“2002”，“unstructured”：“Schnoebelen，P.：验证有损信道系统具有非原始递归复杂性。信息处理信件\u00a083（5），251\u2013261（2002）“，”日记标题“：”信息处理信件“}，{“key”：“38_CR14”，“unstructured”：“Van Begin，L.：参数系统计数抽象的有效验证。博士论文，比利时布鲁塞尔大学（2003）”}]，“container-title”：[“计算机科学课堂讲稿”，“计算机辅助验证”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10007\/11513988_38”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[2019,3,12]，“日期时间”：“2019-03-12T17:00:35Z”，“timestamp“：1552410035000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\/link.springer.com/10.1007\/11513988_38“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2005]]}，《ISBN》：[“9783540272311”，“978354316862”]，“references-count”：14，“URL”：“http://\/dx.doi.org\/10.1007\/11513988_38“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”issn-type“：[{”type“:”print“，”value“：”0302-9743“}，{”类型“：”electronic“，”value“：”1611-3349“}]，”subject“：[]，”published“：{”date-parts“：[[2005]]}}}