Deciding reachability for planar multipolynomial systems (1996)

by Cerāns, J Vīksna
Venue:In Hybrid Systems III, number 1066 in LNCS