菲利普·克尔森;克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔;约阿希姆·克莱因;Klüppelholz，萨沙 使用外部协调对基于角色的系统进行建模。 （英语） Zbl 1475.68077号 Ábrahám，Erika（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 122-139 (2016).MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{P.Chrszon}等人，Lect。注释计算。科学。9660、122——139（2016年；Zbl 1475.68077） 全文： 内政部 链接
克里斯特尔·拜尔;克莱门斯·杜伯斯拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;萨沙·旺德利希 用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 96-123 (2014).MSC公司：60年第68季度 60J20型 60年25日 68平方米 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279） 全文： 内政部