{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:56:28Z”，“时间戳”：1725558988329}，“出版商位置”：“柏林，海德堡”，“参考计数”：20，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540253334“}，{”类型“：“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_16“，”type“：”book-capter“，”created“：{”date-ports“：[2010,7,11]]，”date-time“：”2010-07-11T22:44:55 9Z“，”时间戳“：1278888299000}，”页面“：”237-252“，“source”：“Crossref”，“is-referenced-by-count”：6，“title”：[“Model Checking Infinite-State Markov Chains”]，“prefix”：“10.1007”，”author“：[{”given“：”Anne“，”family“：”Remke“，”sequence“：”first“，”affiliation“：[]}，“given”：，“sequence”：“附加”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“16_CR1”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，”first page“：”35“，”doi“：”10.1007\/978-3-540-28644-8_3“，”volume-title“：”CONCUR 2004-并发理论“，”author“：”P.Abdulla“，“year”：“2004”，“unstructured”：“Abdulla，P.，Jonsson，B.，Nilsson，M.，Saksena，M.：定期模型检查的调查。In：Gardner，P.，Yoshida，N.（编辑）CONCUR 2004。LNCS，卷\u00a03170，第35页\u201348。Springer，Heidelberg（2004）“}，{”issue“：”1“，”key“：”16_CR2“，”doi-asserted-by“：”publisher“，”first page“：“162”，“doi”：“10.1145\/343369.343402”，“volume”：“1”，“author”：“A.Aziz”，”year“：”2000“，”unstructured“：”Aziz，A.，Sanwal，K.，Brayton，R.：模型检查连续时间马尔可夫链。ACM计算逻辑事务\u00a01（1），162\u2013170（2000）“，”journal-title“：”ACM Transactions on Computational Logic“}，{“key”：“16_CR3”，“series-title”：“Computer Science课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“780”，“doi”：“10.1007\/3-540-45022-X_65”，“volume-title”：”Automata，Languages and Programming“，”author“：”C.Baier“，”year“：“2000”，“unstructured”：“”Baier，C.、Haverkort，B.R.、Hermanns，H.、Katoen，J.-P.：关于可执行性属性的逻辑特征。收录人：Welzl，E.，Montanari，U.，Rolim，J.D.P.（编辑）ICALP 2000。LNCS，第u00a01853卷，第780\u2013792页。Springer，Heidelberg（2000）“}，{”issue“：”7“，”key“：”16_CR4“，”doi-asserted-by“：”publisher“，”first page“：“524”，“doi”：“10.1109\/TSE.2003.1205180”，“volume”：“29”，“author”：“C.Baier”，“year”：“2003”，“unstructured”：“Baier，C.，Haverkort，B.R.，Hermanns，H.，Katoen，J.-P.：连续时间马尔可夫链的模型检验算法。IEEE软件工程汇刊\u00a029（7），524\u2013541（2003）”，“期刊标题”：“IEEE软件工程汇刊”，｛“密钥”：“16_CR5”，“非结构化”：“Bell，A.：随机Petri网的分布式评估。亚琛工业大学计算机科学系博士论文（2004）”，｛“密钥”：“16_CR6”，“doi断言者”：“出版商”，“首页”：“411“，”DOI“：”10.1145\/302405.302672“，”volume-title“：”Proc。《第21届国际软件工程会议》，“作者”：“M.B.Dwyer”，“年份”：“1999年”，“非结构化”：“Dwyer，M.B.，Avrunin，G.S.，Corbett，J.C.：有限状态验证属性规范中的模式。In：程序。第21届软件工程国际会议，第411\u2013420页。IEEE CS Press，Los Alamitos（1999）“｝，｛“key”：“16_CR7”，“nonstructured”：“El Rayes，A.，Kwiatkowska，M.，Norman，G.：通过矩阵几何方法求解无限随机过程代数模型。In：Proc.7th process Algebras and Performance Modeling Workshop（PAPM 1999），pp.41\u201362。萨拉戈萨大学（1999）“}，{”issue“：”2“，”key“：”16_CR8“，”doi-asserted-by“：”publisher“，”first-page“：”343“，”doi“：”10.1287\/opere.32.2.343“，”volume“：“32”，”author“：”D.Gross“，”year“：”1984“，”unstructured“：”Gross，D.，Miller，D.R.：作为瞬态马尔可夫过程建模工具和求解程序的随机化技术。Operations Research\u00a032（2），343\u2013361（1984）“，“journal-title”：“运筹学”}，{“key”：“16_CR9”，“doi-asserted-by”：“publisher”，“doi”：“10.1002\/0470841923”，“volume-title“：“计算机通信系统的性能”，“author”：“B.R.Haverkort”，“year”：“1998”，“unstructured”：“Haverkort，B.R.：计算机通信系统的性能。John Wiley&Sons，Chichester（1998）“}，{”key“：“16_CR10”，”doi-asserted-by“：”publisher“，”first page“：”228“，”doi“：”10.1109\/RELDI.200085410“，”volume-title“：”Proc.19th IEEE Symposium on Reliable Distributed Systems（SRDS 2000）“，”author“：”B.R.Haverkort“，”year“：”2000“，”unstructured“：”Haverkort，B.R.，Hermanns，H.，Katoen，J.-P.：关于可靠性评估中模型检查技术的使用。In：程序。第19届IEEE可靠分布式系统研讨会（SRDS 2000），第228\u2013237页。IEEE CS Press，Los Alamitos（2000）“}，{”issue“：“2”，”key“：“16_CR11”，”doi-asserted-by“：”publisher“，”first page“：”153“，“doi”：“10.1007 \/s100090100072”，“volume”：“4”，“author”：“H.Hermanns”，“year”：“2003”，“unstructured”：“Hermanns，H.、Katoen，J.-P.、Meyer-Kayser，J.、Siegle，M.：马尔可夫链模型检验工具。《国际技术转让软件工具杂志》（International Journal on Software Tools for Technology Transfer）\u00a04（2），153\u2013172（2003）“，“Journal-title”：“国际技术转让工具杂志”}，{“key”：“16_CR12”，“unstructured”：“Katoen，J.-P.：模型检查的概念、算法和工具。收录：Arbeitsberichte des IMMD，vol.\u00a 032（1），Friedrich-Alexander University\u00e4t Erlangen N\u00fcrnberg（1999年6月）“}，{“问题”：“2”，“密钥”：“16_CR13”，“doi-asserted-by”：“发布者”，“首页”：“128”，“doi”：“10.1007\/s10009-004-0140-2”，“卷”：“6”，“作者”：“M.Kwiatkowska”，“年份”：“2004”，“非结构化”：“Kwiatkowska，M.，Norman，G.，Parker，D.：使用PRISM的概率符号模型检查：一种混合方法。国际技术转让软件工具杂志\u00a06（2），128\u2013142（2004）“，“Journal-title”：“国际技术转让工具杂志”}，{“key”：“16_CR14”，“doi-asserted-by”：“publisher”，“first page”：”650“，“doi”：“10.2307\/3214773”，“volume”：Latouche，G.，Ramaswami，V.：准生灭过程的对数约简算法。应用概率杂志\u00a030，650\u2013674（1993）“，”Journal-title“：”Journal of Applied Probability“}，{“key”：“16_CR15”，“doi-asserted-by”：“crossref”，“first-page”：“99”，“doi”：“10.1007\/978-3642-79917-4_6”，“volume-title”：“并行系统中的定量模型”，“author”：“I.Mitrani”，“year”：“1995”，“unstructured”：“Mitrani，I.、Ost，A.、Rettelbach，M.：TIPP和光谱展开法。摘自：Baccelli，F.、Jean-Marie，A.、Mitrani，I.（编辑）《并行系统中的定量模型》，第99页\u2013113。Springer，Heidelberg（1995）“}，{“volume-title”：“随机模型中的矩阵几何解：算法方法”，“year”：“1981”，“author”：“M.F.Neuts”，“key”：“16_CR16”，“unstructured”：“Neuts，M.F.：随机模型中矩阵几何解的算法方法”。约翰·霍普金斯大学出版社，巴尔的摩（1981）”}doi-asserted-by“：”crossref“，”unstructured“：”Ost，A.：通信系统的性能。采用矩阵几何方法的基于模型的方法。亚琛研究院计算机科学系博士论文（2001）“，“DOI”：“10.1007\/978-3662-04421-6”}，{“key”：“16_CR18”，“unstructured”：“Remke，A.：模型检验准生灭过程。亚琛大学计算机科学系硕士论文（2004），http://www.cs.utwente.nl\/~anne\/pub\/modelchecking.pdf”}《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“445”，“doi”：“10.1007\/978-3-540-24611-4_13”，“volume-title”：“随机系统的验证”，“author”：“P.Schnoebelen”，“year”：“2004”，“unstructured”：“Schnoebeen，P.：概率有损信道系统的验证。收录：Baier，C.，Haverkort，B.R.，Hermanns，H.，Katoen，J.-P.，Siegle，M.（编辑）《随机系统的验证》。LNCS，卷\u00a02925，第445\u2013465页。施普林格，海德堡（2004）“}，{“问题”：“3”，“关键”：“16_CR20”，“出版商断言的doi”，“第一页”：“459”，“doi”：“10.1080\/153626348908807119”，“卷”：“5”，“作者”：“J.Zhang”，“年份”：“1989”，“非结构化”：“Zhang，J.，Coyle，E.J.：准出生-死亡过程的瞬态分析。随机模型\u00a05（3），459\u2013496（1989）”，“期刊标题”：“随机模型“}]，“容器-时间”：[“计算机科学课堂讲稿”，“系统构建和分析的工具和算法”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-31980-1_16.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2020,11,19]]，“日期时间”：“2020-11-19T04:32:42Z”，“时间戳”：1605760362000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-31980-1_16”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2005]]}，“ISBN”：[“9783540253334”，“9783540319801”]，“references-count“：20，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-31980-1_16“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”value“：“1611-3399”}]，”主题“：[]，”发布“：{”date-parts“：[2005]]}}}