彼得·纳齐尔·莫萨德 马丁·弗伦泽 白雪0001 延迟微分方程的时间逻辑验证。 405-421 2016 ICTAC公司 https://doi.org/10.1007/978-3-319-46750-4_23 conf/ictac/2016年 db/conf/ictac/ictac2016.html#MosaadFX16