From: Jean-François Couchot <couchot@couchot.iut-bm.univ-fcomte.fr>
Date: Tue, 16 Jun 2015 08:56:17 +0000 (+0200)
Subject: ajout
X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/bibliographie.git/commitdiff_plain/6a0a95a2c5688af647ddcaf64e7e78918db26582

ajout
---

diff --git a/bib/biblioand.bib b/bib/biblioand.bib
index b1d4b0b..4afb380 100644
--- 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
 
+
+@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