Publication [ChenFLMZ16] Validated Simulation-Based Verification of Delayed Differential Dynamics Chen, M.; Fränzle, M.; Li, Y.; Mosaad, P. N. and Zhan, N. In FM, pages 137-154, LNCS 9995, 2016.Downloads: bib
