From 6a0a95a2c5688af647ddcaf64e7e78918db26582 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jean-Fran=C3=A7ois=20Couchot?=
 <couchot@couchot.iut-bm.univ-fcomte.fr>
Date: Tue, 16 Jun 2015 10:56:17 +0200
Subject: [PATCH 1/1] ajout

---
 bib/biblioand.bib | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

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
-- 
2.39.5