@inproceedings{dblp:conf/cav/fengczf019,
Author = {Shenghua Feng and Mingshuai Chen and Naijun Zhan and Martin Fränzle and Bai Xue},
Title = {Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations},

Year = {2019},
Pages = {650-669},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Booktitle = {Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I},
Doi = {10.1007/978-3-030-25540-4},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }