{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,3,13]]，“日期-时间”：“2024-03-13T16:31:46Z”，“时间戳”：1710347506834}，“发布者位置”：“查姆”，“引用-计数”：5，“出版商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319359”，“类型”：”打印“}，{“值”：“9783319119366”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2014]]}，”DOI“：”10.1007\/978-3-319-11936-6_12“，”type“：”book-capter“，”created“：”{“date-part”：[2014,10,24]]，“date-time”：“2014-10-24T15:11:50Z”，“timestamp”：141416351 0000}，“页面”：“163-167”，“源”：“交叉引用”，“is-referenced-by-count”：1，“title”：[“ACME：带计数器、单体和等价物的自动机”]，“prefix”：“10.1007”，“author”：[{“给定”：“Nathana\u00ebl”，“family”：“Fijalkow”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Denis”key“：”12_CR1“，”doi-asserted-by“：“crossref”，“unstructured”：“Colcombet，T.，Kuperberg，D.，Lombardy，S.：常规时间成本函数。摘自：Abramsky，S.，Gavoille，C.，Kirchner，C.，Meyer auf der Heide，F.，Spirakis，P.G.（编辑）ICALP 2010，第二部分。LNCS，vol.\u00a06199，pp.563\u2013574。Springer，Heidelberg（2010）“，”DOI“：”10.1007\/978-3642-14162-1_47“}，{”key“：”12_CR2“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“139”，“DOI”：“10.1007\/978-3-642-02930-1_12”，“volume-title”：“自动机、语言和编程”，“author”：“T.Colcombet”，“year”：“2009”，“unstructured”：“”Colcombet，T.：稳定幺半群和正则成本函数理论。收录人：Albers，S.、Marchetti-Paccamela，A.、Matias，Y.、Nikoletseas，S..、Thomas，W.（编辑）ICALP 2009，第二部分。LNCS，卷\u00a05556，第139\u2013150页。Springer，Heidelberg（2009）“}，{“key”：“12_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Colcombet，T.：常规成本函数，第一部分：单词上的逻辑和代数。计算机科学中的逻辑方法\u00a09（3）（2013）”，“doi”：“10.2168 \/LMCS-9（3:3）2013”}，}，“key“：”12_CR4“doi-sserted-byFijalkow，N.，Gimbert，H.，Kelmendi，E.，Oualhadj，Y.：确定概率严密自动机的值1问题（2014）“，“DOI”：“10.2168”\/LMCS-11（2:12）2015“}，{“key”：“12_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Fijalkow，N.，Gimbert，H.，Oualhadj，Y.：确定概率严密自动机的值1问题。在：LICS，pp.295\u2013304（2012）“，”DOI“：”10.1109\/LICS.2012.40“}]，”容器标题“：[”自动化验证和分析技术“，”计算机科学讲义“]，”原标题“：[]，”链接“：[{”URL“：”http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-319-11936-6_12“，”内容类型“：”未指定“，”内容版本“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,28]]，”date-time“：”2019-05-28T03:02:14Z“，”timestamp“：1559012534000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.sprimary.com\/10007\/978-3-319-11936-6_12”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[[2014]]}，“ISBN”：[“9783319119359”，“9783319119366“]，”引用计数“：5，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-319-11936-6_12“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-pa rts“：【2014】}}}