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