ff

[bibliographie.git] / bib / biblioand.bib

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
 
 
 % Encoding: ANSI_X3.4-1968
 
 

-
-

 @InProceedings{,
   author =      {Bassam Alkindy, Christophe Guyeux, Jean-François Couchot, 
 Michel Salomon, Jacques M Bahi},
 @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
 @INPROCEEDINGS{nusmv02,
   author = {Alessandro Cimatti and Edmund M. Clarke and Enrico Giunchiglia and
        Fausto Giunchiglia and Marco Pistore and Marco Roveri and Roberto