%0 Conference Proceedings
%F briandjeannet09
%A Briand, X.
%A Jeannet, B.
%T Combining control and data abstraction in the verification of hybrid systems
%B Formal Methods and Models for Codesign, MEMOCODE'2009
%I IEEE
%U http://pop-art.inrialpes.fr/people/bjeannet/publications/memocode09.pdf
%D 2009