Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue 0001
Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations
CAV, 2019.
@inproceedings{CAV-2019-FengCZF0,
author = "Shenghua Feng and Mingshuai Chen and Naijun Zhan and Martin Fränzle and Bai Xue 0001",
booktitle = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part I}",
doi = "10.1007/978-3-030-25540-4_37",
isbn = "['978-3-030-25539-8', '978-3-030-25540-4']",
pages = "650--669",
publisher = "{Springer}",
title = "{Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations}",
year = 2019,
}