@article{mosaadfb:anncompsci,Author = {Peter Nazier Mosaad and Martin Fränzle and Bai Xue},Title = {Model Checking Delay Differential Equations Against Metric Interval Temporal Logic},Journal = {Scientific Annals of Computer Science},Year = {2017},Pages = {77-109},type = {article}}@COMMENT{Bibtex file generated on }