@inproceedings{dblp: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}}@COMMENT{Bibtex file generated on }