×

找到10个文档（结果1-10）

最新的 引文 关联
卢卡·卡德利；拉杜·格罗苏；Larsen，Kim G。；米尔科·特里巴斯通；马克斯·柴科夫斯基；安德烈·范丁

不确定连续时间马尔可夫链的集总性。 （英语） Zbl 1492.60219号

阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12846, 391-409 (2021).
MSC公司：60J25型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。票据计算。科学。12846、391--409（2021；Zbl 1492.60219）
全文： 内政部 链接
Dannenberg，弗里茨；恩斯特·莫里茨·哈恩；玛尔塔·奎亚特科夫斯卡

使用快速自适应均匀化计算累积奖励。 （英语） Zbl 1369.65014号

ACM事务处理。模型。计算。模拟。 25，第2号，第9条，第23页（2015年）.
MSC公司：65立方厘米 60J28型 65C20个 60年第68季度 92D20型 92E20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Dannenberg}等人，《美国医学杂志》。模型。计算。模拟。25，第2号，第9条，23页（2015年；Zbl 1369.65014）
全文： 内政部
克里斯特尔·拜尔；克莱门斯，杜布拉夫；约阿希姆·克莱因；克吕佩尔霍尔茨，萨沙；萨沙·旺德利希

用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。票据计算。科学。8464, 96-123 (2014).
MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。票据计算。科学。8464，96-123（2014；Zbl 1407.68279）
全文： 内政部
陈、陶璐；韩婷婷；Joost-Pieter卡托恩；亚历山大·梅雷克莱

根据时间自动机规范对连续时间马尔可夫链进行模型检查。 （英语） Zbl 1233.68156号

日志。方法计算。科学。 7，第1号，第12号论文，34页（2011年）.
审核人：加布里埃尔·V·奥尔曼（布拉什奥夫）
MSC公司：60年第68季度 45D05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，Log。方法计算。科学。7，第1号，第12号论文，34页（2011年；Zbl 1233.68156）
全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。；芭芭拉·乔布斯曼；维雷娜·沃尔夫

指定马尔科夫人口模型的形式化。 （英语） Zbl 1260.68284号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿5797，3-23（2009）。
MSC公司：87年第68季度 60J27型 65立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。票据计算。科学。5797，3--23（2009年；Zbl 1260.68284）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件