From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 18 May 2014 14:02:11 +0000 (+0200)
Subject: doc: add another paper refering to the library
X-Git-Tag: barvinok-0.38~56
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/259b33a49afe4f2236e07822e50cff72545127e0

doc: add another paper refering to the library

Reported-by: Vladimir Klebanov <klebanov@kit.edu>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---

diff --git a/doc/barvinok.bib b/doc/barvinok.bib
index dd007f6..ae25a12 100644
--- a/doc/barvinok.bib
+++ b/doc/barvinok.bib
@@ -1137,3 +1137,11 @@ MRREVIEWER = {P. McMullen},
 	issn = {0259-9791},
 	pages = {1-25},
 }
+
+@article{Klebanov2014,
+	author = {Vladimir Klebanov},
+	title = {Precise Quantitative Information Flow Analysis -- A Symbolic Approach},
+	year = {2014},
+	journal = {Theoretical Computer Science},
+	doi = {10.1016/j.tcs.2014.04.022},
+}
diff --git a/doc/reports.tex b/doc/reports.tex
index f0c790c..ab5a7a9 100644
--- a/doc/reports.tex
+++ b/doc/reports.tex
@@ -50,4 +50,5 @@ the \ai[\tt]{barvinok} library.
 \item \citetitleN{Koeppe2010}
 \item \citetitleN{Ryan2010}
 \item \citetitleN{Hubler2012}
+\item \citetitleN{Klebanov2014}
 \end{itemize}