%0 Conference Proceedings
%F hr98
%A Henzinger, T.A.
%A Rusu, V.
%T Reachability verification for hybrid automata
%B International Workshop on Hybrid Systems: Computation and Control
%P 190-204
%S LNCS 1386
%I Springer Verlag
%C Berkeley, California, USA
%D 1998