瓦伦蒂娜·卡斯蒂格利奥尼;米歇尔·洛雷蒂;西蒙·蒂尼 在不可预测的环境中衡量程序健壮性的框架。 （英语） Zbl 07731930号 日志。计算方法。科学。 19，第3号，第2号论文，46页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人，日志。计算方法。科学。19，第3号，第2号论文，46页（2023；Zbl 07731930） 全文： 内政部 arXiv公司
安妮·凯瑟琳·施穆克;鲁帕克·马朱姆达尔;阿德里安·莱瓦 动态分层反应控制器综合。 （英语） Zbl 1379.93048号 离散事件动态。系统。 27，第2期，261-299（2017）.MSC公司：93B40码 93甲15 93甲13 93亿B50 91A65型 93C85号 94C15号机组 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.-K.Schmuck}等人，离散事件动态。系统。27，第2号，261--299（2017；Zbl 1379.93048） 全文： 内政部 arXiv公司
马丁·希尔舍尔;斯文·林杰;奥尔德罗格（Ernst-Rüdiger Olderog） 证明乡村道路交通操纵的安全性。 （英语） Zbl 1390.68429号 刘志明（主编）等，《程序设计理论与形式化方法》。纪念何继峰70岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-39697-7/pbk）。计算机科学课堂讲稿8051196-212（2013）。MSC公司：60年第68季度 03B44号 90秒20 PDF格式BibTeX公司 XML格式引用 \textit{M.Hilscher}等人，Lect。注释计算。科学。8051、196--212（2013；Zbl 1390.68429） 全文： 内政部