%O Thesis 
%9 PhdThesis 
%F rusu96
%A Rusu, V.
%T Vérification temporelle de programmes ELECTRE
%I Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes
%8 January
%D 1996