杨荣敏;托马斯·摩尔;约格·莱斯 混合系统监控的行为抽象的改进。 （英语） Zbl 1454.93121号 离散事件动态。系统。 30，第3号，533-560（2020）. 审核人：米哈伊尔·克拉斯坦诺夫（索非亚） MSC公司：93立方 93元65角 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Yang}等人，离散事件动力学。系统。30，第3号，533--560（2020；Zbl 1454.93121） 全文： 内政部 OA许可证
劳雷·佩特鲁奇;雅各布·范德波尔 参数区间马尔可夫链的参数综合算法。 （英语） Zbl 1508.68256号 Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10854, 121-140 (2018).MSC公司：第68季度87 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Petrucci}和\textit{J.van de Pol}，莱克特。注释计算。科学。10854、121--140（2018年；Zbl 1508.68256） 全文： 内政部 哈尔