%0 Conference Proceedings
%F fmgals05b
%A Doucet, Frederic
%A Menarini, Massimiliano
%A Kruger, Ingolf
%A Talpin, Jean-Pierre
%A Gupta, Rajesh
%T A verification approach for GALS integration of synchronous components
%B Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS)
%C Verona, Italy
%8 July
%D 2005