@inproceedingsdblp:conf/formats/xuemfclz17, Author = {Xue, Bai and Mosaad, Peter Nazier and Fränzle, Martin and Chen, Mingshuai and Li, Yangjia and Zhan, Naijun}, Title = {Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations}, Year = {2017}, Pages = {281-299}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017}, Doi = {10.1007/978-3-319-65765-3_16}, type = {inproceedings} @COMMENTBibtex file generated on