Peter Nazier Mosaad等人：时滞微分方程的时间逻辑验证。(2016) conf/ictac/MosaadFX16 10.1007/978-3-319-46750-4_23 延迟微分方程的时间逻辑验证。 三 彼得·纳齐尔·莫萨德 1 马丁·弗伦泽 2 白雪0001 三 405-421 ICTAC公司 ICTAC公司 2016 2016 dblp记录“conf/ictac/MosaadFX16”的RDF数据的来源信息 2022-06-23T19:57:45+0200