ff

Merge branch 'master' of ssh://bilbo.iut-bm.univ-fcomte.fr/bibliographie

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index 0b6a61ee356b2fd32260f1be643f8c8b5a661435..10403655903335bd3f5c42a81fef6ace725328fd 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