克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡 模型检查概率系统。 （英文） Zbl 1392.68227号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：模型检查手册。查姆：施普林格。963--999（2018；Zbl 1392.68227） 全文： 内政部
克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔 通信场景的定量分析。 （英文） Zbl 1465.68194号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：施普林格。莱克特。注释计算。科学。9268, 76-92 (2015).MSC公司：第68季度85 60J28型 64岁以下 68平方米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}和\textit{C.Baier}，莱克特。注释计算。科学。9268、76-92（2015年；Zbl 1465.68194） 全文： 内政部