@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 }