{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,31]]，“日期时间”：“2022-03-31T06:20:19Z”，“时间戳”：1648707619064}，“发布者位置”：“Cham”，“引用计数”：18，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783319068794”，“类型”：”打印“}，{“值”：“9783319068800”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2014,1,1]]，“date-time”：“2014-01-01T00:00:00Z”，“timestamp”：1388534400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}]：[]，“published-print”：{“date-parts”：[[2014]]}，“DOI”：“10.1007\/978-3-319-06880-0_18”，“type”：“book-chapter”，“created”：{“date-parts”：[[2014,5,23]]，“date-time”：“2014-05-23T00:26:34Z”，“timestamp”：1400804794000}，“page”：”343-362“，”source“：”Crossref“，”is-referenced-by-count“：0，”title“：[”Random Measurable Selections“]，”前缀“10.1007”，“author”：[{“给定”：“Jean”，“家庭”：“Goubault-Larrecq”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Roberto”，“family”：“Segala”：“Adj\u00e9，A.，Bouissou，O.，Goubault-Larrecq，J.，Goubault，\u00c9.，Putot，S.：分析部分已知分布的数值程序。In:Cohen，E.，Rybalchenko，A.（eds.）Proc.5th IFIP TC2 WG 2.3 Conf.Verified Software \u2014理论、工具和实验（VSTTE 2013）。LNCS，Springer（2013），\n\n http://www.lsv.ens-cachan.fr\/Publis\/PAPERS\/PDF\/ABGGP-vstte13.PDF“}，{”key“：”18_CR2“，”unstructured“：”Billingsley，P.：概率与测度，概率与数理统计威利系列第三版。John Wiley and Sons（1995）“}”，{“key”：“18_CR3”，“doi-asserted-by”：“publisher”，“first page”：1345“，”DOI“：”10.1214\/aoms\/1177698260“，”volume“：”39“，”author“：”D.H.Blackwell“，”year“：”1968“，”unstructured“：”Blackwel，D.H.：不包含图形的Borel集。《数理统计年鉴》（Annals of Mathematical Statistics）\u00a039，1345\u20131347（1968）“，“journal-title”：《数理统计学年鉴》}，{“key”：“18_CR4”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first-page”：“125”，“doi”：“10.1007\/978-3540-31982-5_8”，“volume-title“：”软件科学和计算结构基础”，“作者”：“S.Cattani”，“年份”：“2005年”，“非结构化”：“Cattani，S.，Segala，R.，Kwiatkowska，M.，Norman，G.：连续状态空间和非确定性的随机转移系统。收录：Sassone，V.（编辑）FOSSACS 2005。LNCS，第u00a03441卷，第125\u2013139页。Springer，Heidelberg（2005）“}，{”key“：”18_CR5“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“246”，”doi“：”10.1007\/978-3642-15155-2_23“，”volume-title“：“2010计算机科学的数学基础”，”author“：”K.Chatterjee“，”year“：”2010“，”unstructured“：”Chatterjee，K.，Doyen，L.，Gimbert，H.，Henzinger，T.A.：免费随机性。收录：Hlin\u011bn\u00fd，P.，Ku\u010dera，A.（编辑）MFCS 2010。LNCS，第u00a06281卷，第246\u2013257页。Springer，Heidelberg（2010）“}，{”issue“：”2“，”key“：”18_CR6“，”doi-asserted-by“：”publisher“，”first page“：“163”，”doi“：”10.1006\/inco.2001.2962“，“volume”：“179”，“author”：“J.Desharnais”，“year”：“2002”，“unstructured”：“Desharnaies，J.，Edalat，A.，Panangaden，P.：标记Markov过程的双模拟。信息与计算\u00a0179（2），163\u2013193（2002）“，”journal-title“：“信息与计算”}，{“key”：“18_CR7”，“doi-asserted-by”：“publisher”，“first page”：”323“，”doi“：”10.1016\/j.tcs.2003.09.013“，”volume“：”318“，”author“：”j.Desharnais“，”year“：”2004“，”unstructured“：”Desharnais，J.，Gupta，V.，Jagadeesan，R.，Panangaden，P.：标记马尔可夫过程的度量。理论计算机科学\u00a0318，323\u2013354（2004）“，“journal-title”：“理论计算机科学”}，{“key”：“18_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Doberkat，E.-E:随机关系：马尔可夫转移系统的基础。信息学系列研究。Chapman and Hall\/CRC（2007）”，“doi”：“10.1201\/9784889427”}、{“issue“：”1“，”key“：”18_CR9“，”first-page“：”3“，”volume“：“25”，”author“：”J.Draveck\u00fd“，”year“：”1975“，”unstructured“：”Draveck \u00fd，J.：具有可测量对角线的空间。Matematick\u00fd\u010casopis\u00a025（1），3\u20139（1975）“，“日记标题”：“Matematick \u00fd\u010casopis”}，{“问题”：“6”，“键”：“18_CR10”，“doi-asserted-by”：“出版商”，“首页”：“1662”，“doi”：“10.1137 \/10080484X”，“卷”：“40”，“作者”：“N.Ferns”，“年份”：“2011”，“非结构化”：“”Ferns，N.，Panangaden，P.，Precup，D.：连续马尔可夫决策过程的互模拟度量。SIAM计算杂志\u00a040（6），1662\u20131714（2011）“，“Journal-title”：“SIAM计算期刊”}，{“key”：“18_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Giry，M.：概率论的分类方法。In:Banaschewski，B.（ed.）《拓扑与分析的分类方面》。LNM，vol.\u00a 0915，pp.68\u201385。Springer（1981）“，”DOI“：”10.1007\/BFb0092872“}，{”key“：”18_CR12“，”DOI-asserted-by“：”crossref“，”first page“：“53”，“DOI”：“10.4064\/fm-871-53-72”，“volume”：“87”，“author”：“C.J.Himmelberg”，“year”：“1975”，“unstructured”：“Himmelberg，C.J.：Measurable relations.Fundamental Mathematicae\u00a087，53\u201371（1975）“，”journal-title“：”Fundamental Mathematicae“}，{”key”：“18_CR13”，“doi asserted by”：“crossref”，“unstructured”：“Kallenberg，O.：现代概率论基础，第2版。概率及其应用。Springer（2002）“，”DOI“：”10.1007\/978-1-4757-4015-8“｝，｛”key“：”18_CR14“，”nonstructured“：”Panangaden，P.：概率关系。在：Baier，C.，Huth，M.，Kwiatkowska，M.，Ryan，M.（编辑）PROBMIV 1998年会议记录，pp.59\u201374（1998），\n\nhttp://www.cs.bham.ac.uk\/~mzk\/PROBMIV\/preplproc98\/“｝，｛”issue“：”2“，”key“：“18_CR15”，”doi-asserted-by“：”publisher“，”first page“：”287“，”doi“：”10.1016\/S0304-3975（00）00096-7“，“volume”：“253”，“author”：“P.Panangaden”，“year”：“2001”，“unstructured”：“Panangadon，P.：并发理论家的概率和度量。理论计算机科学\u00a0253（2），287\u2013309（2001）“，“journal-title”：“理论计算机科学”}，{“key”：“18_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Panangaden，P.：标记的马尔可夫过程。帝国理工大学出版社（2009）”，“doi”：“10.1142\/9781848162891”}、{“key”：Srivastava，S.M.：关于Borel集的课程。数学研究生教材，第\u00a0180卷。Springer（1998）“，“DOI”：“10.1007\/978-3-642-85473-6”}，{“key”：“18_CR18”，“unstructured”：“Wagner，D.H.：可测量选择定理综述：更新。收录：度量理论，Oberwolfach，1979。LNM，卷\u00a0794，第176\u2013219页。Springer（1980）“}”，“container-title”：[“计算机科学课堂讲稿”，“心灵的地平线。向Prakash Panangaden致敬”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-319-06880-0_18”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2019,5,26]]，“date-time”：“2019-05-26T18:19:26Z”，“timestamp”：1558894766000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com/10.1007\/978-3319-06880-0_18 83319068794“，”978331906.8800“]，”references-count“：18，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-06880-0_18“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”electronic“}]，”subject“：【】，”published“：{”date-parts“：【2014】】}}}}