From ec08e5dce17feeba8ed4cda95a1482e283db71b8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 30 Apr 2012 19:38:58 +0200
Subject: [PATCH] * doc/tl/tl.bib (babiak.12.tacas): Update reference.

---
 doc/tl/tl.bib | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/tl/tl.bib b/doc/tl/tl.bib
index c78e376a2..931ffbb1d 100644
--- a/doc/tl/tl.bib
+++ b/doc/tl/tl.bib
@@ -9,7 +9,10 @@
   booktitle	= {Proceedings of the 18th International Conference on Tools
 		  and Algorithms for the Construction and Analysis of Systems
 		  (TACAS'12)},
-  note		= {To appear}
+  publisher	= {Springer},
+  series	= {Lecture Notes in Computer Science},
+  volume	= {7214},
+  pages         = {95--109}
 }
 
 @InProceedings{	  beer.01.cav,