@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 }