From: Jean-François Couchot <couchot@couchot.iut-bm.univ-fcomte.fr>
Date: Tue, 16 Jun 2015 08:59:26 +0000 (+0200)
Subject: resolu
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/bibliographie.git/commitdiff_plain/5134997d67315e82e1bd6da1a1e8496b59c805aa?hp=a85693e5372004753aab7a5c0797f85634c90750

resolu
---

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index 9ba6cd0..137f705 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