费边·伊姆勒 一个经过验证的ODE解算器和Lorenz吸引子。 （英语） Zbl 1448.68460号 J.汽车。推理 61，编号1-4，73-111（2018）.MSC公司：第68卷第15页 34-04 34A34飞机 37D45号 65G20个 65升05 PDF格式BibTeX公司 XML格式引用 \textit{F.Immler}、J.Autom。推理61，No.1--4，73-111（2018；Zbl 1448.68460） 全文： 内政部
斯特凡诺·席沃;罗姆·兰格拉克 使用UPPAAL对连续动力系统进行离散化。 （英语） Zbl 1498.68142号 Katoen，Joost-Pieter（编辑）等，建模教育，测试教育，信任教育。在埃德·布林克斯马60岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。10500, 297-315 (2017).MSC公司：65年第68季度 2015年11月37日 65升05 60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Schivo}和\textit{R.Langerak}，莱克特。注释计算。科学。10500，297--315（2017；Zbl 1498.68142） 全文： 内政部 链接