ajout

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index b1d4b0b03498e205a7ab492623eb3393057c1842..4afb380fb64b7a11d0eaad847d3b3d6168688995 100644 (file)
--- a/bib/biblioand.bib
+++ b/bib/biblioand.bib
@@ -1,6 +1,32 @@
 c% This file was created with JabRef 2.3.1.
 % Encoding: ANSI_X3.4-1968
 
 c% This file was created with JabRef 2.3.1.
 % 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{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