｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2022,3,29]，“date-time”：“2022-03-29T15:58:03Z”，“timestamp”：1648569483344｝，“publisher location”：“Berlin，Heidelberg”，“reference count”：7，“publisher”：“Springer Berlin Heidelberg”，“isbn type”：[｛“value”：“9783642329425”，“type”：“print”｝，｛“value”：“9783642329432”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2012]]｝，“DOI”：“10.1007\/978-3-642-32943-2_12”，“type”：“book chapter”，“created”：｛“date parts”：[[2012,8,28]，“date time”：“2012-08-28T04:59:35Z”，“timestamp”：1346129975000｝，“page”：“159.-163英寸，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“A Conformance Checker Tool CSPConCheck”]，“prefix”：“10.1007”，”author“：[{”given“：”Suman“，”family“：”Roy“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Sidharth“，”“family”：“Bihary”，“sequence”：“additional”，“afliation”：[]{“given”：”Jose Alfonso Corso“，”家人“：”老挝“”，“sequence”：“附加”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“12_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：“Bihary，S.，Koneti，J.，Roy，S.:使用CSP的过程一致性。摘自：2012年第五届ISEC会议记录，第139\u2013142页。ACM（2012）“，“DOI”：“10.1145\/2134254.2134278”}，{“key”：“12_CR2”，“unstructured”：“Bisztray，D.，Heckel，R.：使用CSP.ECEASST\u00a06（2007）对业务流程转换进行规则级验证”}10.1007\/978-3642-82921-5_4“}，{“key”：“12_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Liu，Y.，Sun，J.，Dong，J.S.：PAT 3:构建多域模型检查器的可扩展体系结构。摘自：IEEE第22届软件可靠性工程国际研讨会（ISSRE 2011），第190\u2013199页（2011）”，“doi”：“10.1109\/ISSRE.2011.19”}key“：”12_CR5“，”unstructured“：”Roscoe，A.W.：并发的理论和实践。Prentice Hall（1997）“}，{“key”：“12_CR6”，“unstructured”：“Sarbanes，P.，Oxley，G.，et al.：Sarbanes-Oxley act of 2002（2002）”}，6-“key“：”12_CR7“，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”123“，“doi”：“10.1007\/978-3642-05089-3_9”，“volume-title”：”FM 2009:Formal Methods“，”author“：“J.Sun”，“年份”：“2009年，“非结构化”：“Sun，J.、Liu，Y.、Roychoudhury，A.、Liu、S.、Dong，J.S.：使用过程反抽象进行公平模型检查。收录：Cavalcanti，A.，Dams，D.R.（编辑）FM 2009。LNCS，第u00a05850卷，第123\u2013139页。Springer，Heidelberg（2009）“}]，“container-title”：[“计算的理论方面\u2013 ICTAC 2012”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10007\/978-3642-32943-2_12.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}]，“存放”：{“日期部分”：[[2022,1,27]]，“日期时间”：“2022-01-27T17:51:33Z”，“时间戳”：1643305893000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3642-32943-2_12”}，“ISBN”：[“9783642329425”，“978364 2329432”]，“references-count“：7，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3642-32943-2_12“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”0302-7743}}