克里斯蒂安·艾森特罗;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;张丽君 每个GSPN的语义。 (英语) Zbl 1381.68199号 Colom,José-Manuel(编辑)等人,《Petri网和并发的应用和理论》。第34届国际会议,2013年6月24日至28日,意大利米兰,PETRI NETS 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38696-1/pbk)。计算机科学课堂讲稿7927,90-109(2013)。MSC公司:第68季度85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentaut}等人,Lect。注释计算。科学。7927、90-109(2013年;Zbl 1381.68199) 全文: 内政部
托马斯·布拉兹迪尔;霍尔格·赫尔曼斯;简·克查尔;简·Křetínsk;艾哈克,沃伊特 开放交互式马尔可夫链的验证。 (英语) Zbl 1354.68170号 D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,474-485(2012)。MSC公司:第68季度第60季度 60J20型 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,LIPIcs——莱布尼茨国际程序。通知。18、474--485(2012;Zbl 1354.68170) 全文: 内政部
张丽君;大卫·詹森(David N.Jansen)。;弗莱明·尼尔森;霍尔格·赫尔曼斯 使用分层进行有效的CSL模型检查。 (英语) Zbl 1348.68152号 日志。计算方法。科学。 8,第2号,第17号论文,第18页(2012年).MSC公司:第68季度第60季度 87年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Log。计算方法。科学。8,第2号,第17号论文,18页(2012;Zbl 1348.68152) 全文: 内政部
达亚尔,T。;H·赫尔曼斯。;D.斯皮勒。;沃尔夫,V。 界定马尔可夫人口模型的均衡分布。 (英语) Zbl 1265.60148号 数字。线性代数应用。 第61931-946号第18页(2011年). 审核人:温弗里德·K·格拉斯曼(萨斯卡通) MSC公司:60J27型 60J28型 65立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.Dayar}等人,数字。线性代数应用。18,第6号,931--946(2011;Zbl 1265.60148) 全文: 内政部 arXiv公司 链接
张丽君;霍尔格·赫尔曼斯;弗里德里希·艾森布兰德;大卫·詹森(David N.Jansen)。 流程更快:用于概率模拟的高效决策算法。 (英语) Zbl 1161.68473号 日志。计算方法。科学。 4,第4期,论文6,43页(2008年).MSC公司:2010年第68季度 60J10型 60J27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人,Log。计算方法。科学。4,第4号,论文6,43页(2008年;Zbl 1161.68473) 全文: 内政部
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) 兹比尔1101.68053 Inf.计算。 200,第2期,149-214(2005).MSC公司:68问题55 2010年第68季度 第68季度第60季度 60J10型 60J27型 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。200,第2号,149--214(2005;Zbl 1101.68053) 全文: 内政部 链接
克里斯特尔·拜尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义(扩展抽象)。 (英语) Zbl 1274.68264号 Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 492-507 (2003).MSC公司:87年第68季度 60J10型 60J20型 60J27型 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。2761492--507(2003年;Zbl 1274.68264) 全文: 内政部
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯 连续时间马尔可夫链的近似符号模型检验。 (英语) Zbl 0934.03044号 Baeten,Jos C.M.(编辑)等人,CONCUR’99。并发理论。第十届国际会议,荷兰埃因霍温,1999年8月24日至27日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1664, 146-161 (1999).MSC公司:03B70号 68瓦30 第68季度85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,Lect。注释计算。科学。1664146-161(1999;Zbl 0934.03044)