Mingshuai Chen, Martin Fränzle, Yangjia Li, Peter Nazier Mosaad, Naijun Zhan
Validated Simulation-Based Verification of Delayed Differential Dynamics
FM, 2016.
@inproceedings{FM-2016-ChenFLMZ,
author = "Mingshuai Chen and Martin Fränzle and Yangjia Li and Peter Nazier Mosaad and Naijun Zhan",
booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}",
doi = "10.1007/978-3-319-48989-6_9",
isbn = "978-3-319-48988-9",
pages = "137--154",
title = "{Validated Simulation-Based Verification of Delayed Differential Dynamics}",
year = 2016,
}