@进行中{ASY01drp，作者={Eugene Asarin和Gerardo Schneider以及Sergio Yovine}，TITLE={关于平面微分包含可达性问题的可判定性}，BOOKTITLE={HSCC'2001}，页码={89--104}，年份={2001}，编辑={M.D.~di Benedetto和A.~Sangiovanni-Vincentelli}，数字={2034}，系列={LNCS}，地址={意大利罗马}，出版商={Springer-Verlag}}