Temporal Logic Verification for Delay Differential Equations - researchr publication related

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]

The following publications are possibly variants of this publication:

Model Checking Delay Differential Equations Against Metric Interval Temporal LogicPeter Nazier Mosaad, Martin Fränzle, Bai Xue 0001. cuza, 27(1):77-109, 2017. [doi]

runs on WebDSL