Peter Nazier Mosaad, Martin Fränzle, Bai Xue 0001. Model Checking Delay Differential Equations Against Metric Interval Temporal Logic. Sci. Ann. Cuza Univ., 27(1):77-109, 2017. [doi]
@article{MosaadF017,
title = {Model Checking Delay Differential Equations Against Metric Interval Temporal Logic},
author = {Peter Nazier Mosaad and Martin Fränzle and Bai Xue 0001},
year = {2017},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1&=2},
researchr = {https://researchr.org/publication/MosaadF017},
cites = {0},
citedby = {0},
journal = {Sci. Ann. Cuza Univ.},
volume = {27},
number = {1},
pages = {77-109},
}