Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shenghua Feng, Mingshuai Chen, Naijun Zhan, Martin Fränzle, Bai Xue 0001. Taming Delays in Dynamical Systems - Unbounded Verification of Delay Differential Equations. In Isil Dillig, Serdar Tasiran, editors, Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Volume 11561 of Lecture Notes in Computer Science, pages 650-669, Springer, 2019. [doi]

This author has not been identified. Look up 'Shenghua Feng' in GoogleThis author has not been identified. Look up 'Mingshuai Chen' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Bai Xue 0001' in Google

runs on WebDSL