%0 Conference Proceedings
%F Bozga-Graf-Mounier-01c
%A Bozga, Marius
%A Graf, Susanne
%A Mounier, Laurent
%T Automated validation of distributed software using the IF environment
%B 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001)
%I IEEE
%X 
%U http://hal.archives-ouvertes.fr/docs/00/37/46/52/PDF/nca2001.pdf
%D 2001
%K Model-based verification techniques