resolu

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index 9ba6cd0d9c8f4c8838f366bdd5ae8a767280d7e3..137f7051553336a47a9c41a862df1ea6547ced30 100644 (file)
--- a/bib/biblioand.bib
+++ b/bib/biblioand.bib
@@ -2,8 +2,6 @@
 % Encoding: ANSI_X3.4-1968
 
 
-
-
 @InProceedings{,
   author =      {Bassam Alkindy, Christophe Guyeux, Jean-François Couchot, 
 Michel Salomon, Jacques M Bahi},
@@ -41,6 +39,7 @@ year = 2014
 
 
 
+
 @INPROCEEDINGS{nusmv02,
   author = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and
        Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto