%O Thesis 
%9 HDR 
%F Rusu06-hdr
%A Rusu, V.
%T Formal verification and conformance testing for reactive systems
%I Université de Rennes 1
%8 December
%D 2006