%O Thesis 
%9 MasterThesis 
%F Khan-06
%A Khan, A.M.
%T Connection of Compositional Verification Tools for Embedded Systems
%I UJF Grenoble
%D 2006