克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;萨沙·旺德利希 用于能源效用分析的概率模型检查。 （英语） 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 1101.68053号 Inf.计算。 200，第2期，149-214（2005）.MSC公司：68问题55 2010年第68季度 60年第68季度 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型 60年第68季度 第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）