%O Report 
%F RRIrisaNebutPinchinatLeGuernic01
%A Nebut, Mirabelle
%A Pinchinat, Sophie
%A Le Guernic, Paul
%T A Model for the Verification of Static Synchronous Data-flow Specifications
%N 1402
%I Irisa
%U http://www.irisa.fr/bibli/publi/pi/2001/1402/1402.html
%D 2001