Veri of linear hybrid systems by means of convex approximations (1994)

by Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
Venue:In Baudouin Le Charlier, editor, Static Analysis: . . . SAS, volume 864 of LNCS