Nathalie Bertrand;帕特里夏·布耶;托马斯·布里海耶;皮埃尔·卡利埃 随机转移系统什么时候可以驯服？ （英语） Zbl 1394.68243号 J.日志。阿尔盖布。方法计划。 99, 41-96 (2018).理学硕士：68问题85 60年20日 第68季度第45季度 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，J.Log。阿尔盖布。方法计划。99、41-96（2018年；Zbl 1394.68243） 全文： 内政部 arXiv公司
克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;Klüppelholz，萨沙;琳达·卢施纳 使用概率模型检查对弹性系统进行能源效用分析。 （英语） 兹比尔1407.68280 Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8489, 20-39 (2014).理学硕士：60年第68季度 60年20日 68平方米 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。8489、20--39（2014年；Zbl 1407.68280） 全文： 内政部
让·古鲍特·拉雷克;罗伯特·塞加拉 随机可测量的选择。 （英语） Zbl 1407.68255号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：施普林格。莱克特。注释计算。科学。8464, 343-362 (2014).理学硕士：第68季度第45季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{R.Segala}，莱克特。注释计算。科学。8464，343--362（2014；Zbl 1407.68255） 全文： 内政部
克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;约阿希姆·克莱因;Klüppelholz，萨沙;萨沙·旺德利希 用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：施普林格。莱克特。注释计算。科学。8464, 96-123 (2014).理学硕士：60年第68季度 60年20日 60J25型 68平方米 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279） 全文： 内政部
克里斯特尔·拜尔;Nathalie Bertrand;菲利普·施诺贝伦 关于无穷状态马尔可夫链吸引子性质的一个注记。 （英语） Zbl 1191.68330号 Inf.流程。莱特。 97，第2号，58-63（2006）.理学硕士：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《信息处理》。莱特。97，第2号，58--63（2006；Zbl 1191.68330） 全文： 内政部
拜尔，C。;北伯特兰。;Schnoebelen博士。 具有概率消息丢失的通信系统的符号验证：活性和公平性。 （英语） Zbl 1225.68108号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。2006年9月26日至29日，第26届IFIP WG 6.1国际会议，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229212-227（2006）。理学硕士：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。4229212-227（2006；Zbl 1225.68108） 全文： 内政部
阿卜杜拉，P.A。;北伯特兰。;A.拉比诺维奇。;Schnoebelen博士。 验证通信故障的概率系统。 （英语） Zbl 1105.68003号 Inf.计算。 202，第2期，141-165（2005）.理学硕士：68个M12 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《信息计算》。202，第2号，141--165（2005；Zbl 1105.68003） 全文： 内政部