{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:40Z”，“时间戳”：1725559000254}，“出版商位置”：“柏林，海德堡”，“参考计数”：10，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 253334“}，{”类型“：“electronic”，“value”：“9783540319801”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2005]]}，”DOI“：”10.1007\/978-3-540-31980-1_42“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”581-585“，“source”：“Crossref”，“is-referenced-by-count”：25，“title”：[“BISIMULATOR:一个模块化的工具，用于在线等价性检查”]，“prefix”：“10.1007”，”author“：[{”given“：”Damien“，”family“：”Bergamini“，”sequence“：”first“，”affiliation“：[]}，{“given”：“”：“Joubert”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Radu”，“family”：“Mateescu”，“sequence”：“additional”，“affiliation”：[]｝，“member”：“297”，“reference”：[｛“issue”：“1”，“key”：“42_CR1”，“doi asserted by”：“publisher”，“first page”：“3”，“doi”：“10.1016/0304-3975（94）90266-6”，“volume”：“126”，“author”：“H.R.Andersen”，“年份”：“1994”，“非结构化”：“Andersen，H.R.：模型检查和布尔图.理论计算机科学\u00a0126（1），3\u201330（1994）”，“期刊标题”：“理论计算机科学”}，{“key”：“42_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“Cleaveland，R.，Sokolsky，O.：有限状态系统的等价性和预序检查。收录于：Bergstra，J.A.，Ponse，A.，Smolka，S.A.（编辑）《过程代数手册》，ch.\u00a06，pp.391\u2013424。North Holland，Amsterdam（2001）“，”DOI“：”10.1016\/B978-044482830-9\/50024-2“}，{”volume-title“：”FORTE 1990的程序“，”year“：”1990“，”author“：”J.-C.Fernandez“，”key“：”42_CR3“，”unstructured“：”Fernande，J.-C.，Mounier，L.:Verifying Bisimulations\u201cOn the Fly\u201d.In:Quemada，J.，Manas，J.s.）FORTE 1990程序。North-Holland，Amsterdam（1990）“}，{”key“：”42_CR4“，”series-title“：”计算机科学课堂讲稿“，”volume-title“：“CONCUR\u201991”，”author“：”J.-C.Fernandez“，”year“：”1991“，”unstructured“：”Fernande，J.-C.，Mounier，L.：决定行为等效性的工具集。in:Groote，J.F.，Baeten，J.C.M.（eds.）CONCUR 1991。LNCS，卷\u00a0527。Springer，Heidelberg（1991）“}，{”key“：”42_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“68”，”doi“：”10.1007\/BFb0054165“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“H.Garavel”，“year”：“1998”，“unstructured”：“Garavel，H.：OPEN\/C\u00c6SAR：用于验证、仿真和测试的开放式软件体系结构。收录：Steffen，B.（编辑）TACAS 1998。LNCS，第00a01384卷，第68\u201384页。Springer，Heidelberg（1998）“}，{”键“：”42_CR6“，”首页“：”13“，”卷“：”4“，”作者“：”H.Garavel“，”年份“：”2002“，”非结构化“：”Garavel，H.，Lang，F.，Mateescu，R.：《2001年CADP概述》。EASST Newsletter \u00a04，13\u201324（2002）：另见INRIA Report \u00a 0RT-0254“，”journal-title“：”EASST新闻稿“}，{“key”：“42_CR7”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”244“，“doi”：“10.1007 \/3-540-48778-6_15”，“volume-title”：”实时和概率系统的形式方法“，”作者“：”H.Hermanns“，”year“：”1999“，”unstructured“：”Hermann，H.，Siegle，M.：随机过程代数的双模拟算法及其基于BDD的实现。收录：Katoen，J.-P.（编辑）AMAST-ARTS 1999、ARTS 1999和AMAST-WS 1999。LNCS，第u00a01601卷，第244\u2013265页。Springer，Heidelberg（1999）“}，{“key”：“42_CR8”，“unstructured”：“Joubert，C.，Mateescu，R.：分布式现场等效检查。In：Brim，L.，Leucker，M.（eds.）Proc.of PDMC 2004（London，United Kingdom）。ENTCS（2004年9月）Mateescu，R.：无交替布尔方程系统的通用即时求解器。收录：Garavel，H.，Hatcliff，J.（编辑）TACAS 2003。LNCS，第u00a02619卷，第81\u201396页。Springer，Heidelberg（2003），完整版，INRIA Research Report\u00a0RR-4711“，“DOI”：“10.1007\/3-540-36577-X_7”}，{“key”：“42_CR10”，“unstructured”：“http://www.inrialpes.fr\/vasy\/cadp\/resources\/benchmark_bcg.html”}]，“container-title”：[“计算机科学课堂笔记”，“系统构建和分析的工具和算法“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-31980-1_42.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：”{“date-parts”：[2021,5,3]]，“date-time”：“”2021-05-03T03:44:39Z“，”timestamp“：1620013479000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-31980-1_42”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-parts”：[2005]]}，《ISBN》：[“9783540253334”，“978354319801”]，“references-count”：10，“URL”“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_42“，”关系“：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“电子”，“值”：“1611-349”}]，“主题”：[]，“发布”：{“date-parts”：[[2005]]}}}