[PPL-devel] [GIT] ppl/ppl(master): Fixed HenryMM12b.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 530ee7a5bebed7f8eba0d0895abe68282df4fe59
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=530ee7a5bebed7f8eba0d0895abe68282df4fe59

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sun Jan  5 12:58:34 2014 +0100

Fixed HenryMM12b.

---

 doc/ppl_citations.bib |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 995ce7a..f8faf73 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -3100,9 +3100,10 @@ Summarizing:
 
 @Article{HenryMM12b,
   Author = "J. Henry and D. Monniaux and M. Moy",
-  Title = "{PAGAI}: a path sensitive static analyzer",
+  Title = "{PAGAI}: A Path Sensitive Static Analyzer",
   Journal = "Electronic Notes in Theoretical Computer Science",
-  Publisher = "Elsevier Science Publishers B.V. Amsterdam, The Netherlands",
+  Publisher = "Elsevier Science Publishers B.V.",
+  Address = "Amsterdam, The Netherlands",
   Volume = 289,
   Year = 2012,
   ISSN = "1571-0661",