% 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
