X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/bibliographie.git/blobdiff_plain/496f72ac98cd4740b7657fde2d2d686a33218c09..462c156fa1eb7409a344f9f2a035bf96b3e3d01c:/bib/biblioand.bib?ds=inline

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index 0b6a61e..1040365 100644
--- 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