孙孟；张西岳 基于定时数据分布流的概率连接器关系模型。 （英语） Zbl 1514.68184号 Jansen，David N.（编辑）等人，《时间系统的形式化建模和分析》。第16届国际会议，FORMATS 2018，中国北京，2018年9月4日至6日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11022, 125-141 (2018).MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Sun｝和\textit｛X.Zhang｝，Lect。票据计算。科学。11022、125--141（2018；Zbl 1514.68184） 全文： 内政部
西蒙·威默；约翰·Hölzl \（\mathrm{MDP+TA=PTA}\）：概率时间自动机，形式化（短文）。 （英语） Zbl 1511.68142号 Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10895, 597-603 (2018).MSC公司：65年第68季度 87年第68季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Wimmer}和\textit{J.Hölzl}，莱克特。票据计算。科学。10895、597--603（2018年；Zbl 1511.68142） 全文： 内政部
乔瓦尼·博尼奥洛；达戈斯蒂诺，马塞洛；马里奥广场；加布里埃尔·普奇尼 为分子生物学工具箱添加逻辑。 （英语） Zbl 1382.03055号 欧洲药典（Eur.J.Philos）。科学。 5，第3期，399-417（2015）.MSC公司：03B80号 03B47号 03B40型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Boniolo}等人，《欧洲法学杂志》Philos。科学。5，第3号，399--417（2015；Zbl 1382.03055） 全文： 内政部 链接
罗伯特·兰德；史蒂夫·兹丹塞维奇 VPHL：概率程序的验证部分正确性逻辑。 （英语） Zbl 1351.68080号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，351-367，仅电子版（2015）。MSC公司：68号30 03B70号 第68页第19页 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rand}和\textit{S.Zdancewic}，电子。注释Theor。计算。科学。319351-367（2015；Zbl 1351.68080） 全文： 内政部