%O Generic 
%F BozgaGrafMounier04
%A Bozga, Marius
%A Graf, Susanne
%A Mounier, Laurent
%A Ober, Iulian
%T IF Tutorial
%I Presented at the 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain
%X 
%U http://www-verimag.imag.fr/PEOPLE/mounier/Papers/Bozga-Graf-Mounier-04.pdf
%8 April
%D 2004
%K Model-based verification techniques