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?ds=inline;hp=--cc

resolu
---

5134997d67315e82e1bd6da1a1e8496b59c805aa
diff --cc bib/biblioand.bib
index 4afb380,9ba6cd0..137f705
--- a/bib/biblioand.bib
+++ b/bib/biblioand.bib
@@@ -2,31 -2,45 +2,44 @@@
  % Encoding: ANSI_X3.4-1968
  
  
- @article{MCErlang07,
-  author = {Fredlund, Lars-\AAke and Svensson, Hans},
-  title = {McErlang: a model checker for a distributed functional programming language},
-  journal = {SIGPLAN Not.},
-  volume = {42},
-  issue = {9},
-  year = {2007},
-  issn = {0362-1340},
-  pages = {125--136},
-  numpages = {12},
-  publisher = {ACM},
- } 
- @inproceedings{Bogor03,
-   author    = {Robby and
-                Matthew B. Dwyer and
-                John Hatcliff},
-   title     = {Bogor: an extensible and highly-modular software model checking
-                framework},
-   booktitle = {Proc. of the 11th ACM SIGSOFT Symposium on Foundations
-                of Software Engineering 2003},
-   publisher = {ACM},
-   year      = {2003},
-   pages     = {267-276},
 -
 -
+ @InProceedings{,
+   author = 	 {Bassam Alkindy, Christophe Guyeux, Jean-François Couchot, 
+ Michel Salomon, Jacques M Bahi},
+   title = 	 {Gene Similarity-based Approaches for Determining Core-Genes of Chloroplasts},
+   OPTcrossref =  {},
+   OPTkey = 	 {},
+   booktitle = {The IEEE International Conference on Bioinformatics and Biomedicine (BIBM)},
+   OPTyear = 	 {2014},
+   OPTeditor = 	 {},
+   OPTvolume = 	 {},
+   OPTnumber = 	 {},
+   OPTseries = 	 {},
+   pages = 	 {***--***},
+   month = 	 nov,
+   address = 	 {Belfast, UK},
+   OPTorganization = {},
+   publisher = {IEE },
+   note = 	 {To appear},
+   OPTannote = 	 {}
  }
  
+ @inproceedings{chgw+14:oip,
+ inhal = {no},
+ domainehal = {INFO:INFO_DC, INFO:INFO_CR, INFO:INFO_MO, INFO:INFO_SE},
+ equipe = {ie},
+ author = {Couchot, Jean-Fran\c{c}ois and H\'eam, Pierre-Cyrille and Guyeux, Christophe and Wang, Qianxue and Bahi, Jacques},
+ title = {Pseudorandom Number Generators with Balanced Gray Codes},
+ booktitle = {Secrypt 2014, 11th Int. Conf. on Security and Cryptography},
+ pages = {469--475},
+ address = {Vienna, Austria},
+ month = aug,
+ date = aug,
+ 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