Model Checking Delay Differential Equations Against Metric Interval Temporal Logic

BIB
Peter Nazier Mosaad and Martin Fränzle and Bai Xue
Scientific Annals of Computer Science
2017
article
77-109