From: couchot <jf.couchot@gmail.com>
Date: Wed, 22 Jul 2015 06:48:49 +0000 (+0200)
Subject: ff
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/bibliographie.git/commitdiff_plain/462c156fa1eb7409a344f9f2a035bf96b3e3d01c?hp=496f72ac98cd4740b7657fde2d2d686a33218c09

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

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