@程序{ASY02tcp，作者={Eugene Asarin和Gerardo Schneider以及Sergio Yovine}，TITLE={朝向计算多边形微分包含的相图}，BOOKTITLE={HSCC'2002}，页码={49--61}，年份={2002}，OPTEDITOR={C.J.Tomlin和M.R.Greenstreet}，数字={2289}，系列={LNCS}，ADDRESS＝{美国斯坦福大学}，月={三月}，出版商={Springer-Verlag}}