@进行中{速度：2004，作者={戈登·佩斯和杰拉尔多·施奈德}，Booktitle={第五届国际验证、模型检验和抽象解释会议（VMCAI 2003）}，编辑={乔治·列维和伯恩哈德·斯特弗}，系列={LNCS}，Title={使用不变核检查多边形微分包含的模型}，年份={2004}}