%O Book 
%F fmgals07
%T International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design, FMGALS'07
%E Girault, A.
%E de Simone, R.
%V 	 200
%N 1
%S ENTCS
%I Elsevier Science, New-York
%C Nice, France
%8 May
%D 2007