Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
Peter Nazier Mosaad and Martin Fränzle and Bai Xue
Scientific Annals of Computer Science
2017
article
77-109
OFFIS Autoren
