Tan，Yong Kiam先生；安德烈·普拉泽 常微分方程的演绎稳定性证明。 （英语） Zbl 1474.68195号 Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12652, 181-199 (2021).MSC公司：60年第68季度 03B70号 34D99型 68V20型 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}和\textit{A.Platzer}，莱克特。票据计算。科学。12652、181--199（2021年；Zbl 1474.68195） 全文： 内政部 arXiv公司
尤金尼奥·罗内斯·洛扎诺；鲁宾·冈萨雷斯-马汀；哈维尔·蒙特罗 直流铁路电气化验证的代数方法。 （英语） Zbl 1474.90497号 数学。计算。科学。 13，第3号，449-457（2019）.MSC公司：90立方厘米 34A30型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人，数学。计算。科学。13，第3号，449--457（2019；Zbl 1474.90497） 全文： 内政部 链接
卢卡·博托卢西；尼古拉斯·加斯特 超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号 Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。2016年6月20日至24日，第16届计算机、通信和软件系统设计正式方法国际学校，SFM 2016，意大利贝尔蒂诺罗。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700，61-82（2016）讲稿。MSC公司：68T42型 34A60型 34F05型 60J28型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{N.Gast}，莱克特。票据计算。科学。9700、61-82（2016年；Zbl 1346.68217） 全文： 内政部 哈尔
苏菲涅·本基拉内；简·希尔斯顿；克里斯·麦凯；雷切尔·诺曼；卡隆·桑德兰 通过流行病学示例改进PEPA模型的连续逼近。 （英语） Zbl 1283.92064号 尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到并发性（FBTC 2008）》，冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第1期，59-74页（2009年）。MSC公司：92天30分 34C60个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Benkirane}等人，《电子》。注释Theor。计算。科学。229，第1号，59--74（2009；Zbl 1283.92064） 全文： 内政部