Temporal Logic Verification for Delay Differential Equations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Nazier Mosaad, Martin Fränzle, Bai Xue. Temporal Logic Verification for Delay Differential Equations. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 405-421, 2016. [doi]

This author has not been identified. Look up 'Peter Nazier Mosaad' in GoogleThis author has not been identified. Look up 'Martin Fränzle' in GoogleThis author has not been identified. Look up 'Bai Xue' in Google

runs on WebDSL