彼得·纳齐尔·莫萨德 马丁·弗伦泽 白雪0001 基于度量区间时序逻辑的时滞微分方程模型检验。 77至109 2017 27 科学。Ann.计算。科学。 1 http://www.info.uaic.ro/bin/Annals/Article？v=XXVII1&=2 db/journals/cuza/cuza27.html#MosaadF017