[PPL-devel] [GIT] ppl/ppl(master): Fixed more book titles.

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Dec 28 08:55:17 2013 +0100

Fixed more book titles.

---

 doc/ppl_citations.bib |   28 ++++++++++++++++------------
 1 files changed, 16 insertions(+), 12 deletions(-)

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 834ea42..d25ae10 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -526,7 +526,7 @@ Summarizing:
 @Inproceedings{AndreFS13,
   Author = "{\'E}. Andr{\'e} and L. Fribourg and R. Soulat",
   Title = "Merge and Conquer: State Merging in Parametric Timed Automata",
-  Booktitle = "Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, {ATVA 2013}",
+  Booktitle = "Proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis (ATVA 2013)",
   Editor = "D. Van Hung and M. Ogawa",
   Address = "Hanoi, Vietnam",
   Pages = "381--396",
@@ -555,7 +555,8 @@ Summarizing:
   Author    = "E. Andr{\'e} and Y. Liu and J. Sun and J. S. Dong and {S.-W}. Lin",
   Title     = "PSyHCoS: Parameter Synthesis for Hierarchical Concurrent
                Real-Time Systems",
-  Booktitle = "Proceedings of Computer Aided Verification - 25th International Conference, {CAV} 2013",
+  Booktitle = "Computer Aided Verification:
+               Proceedings of the 25th International Conference (CAV 2013)",
   Year      = 2013,
   Pages     = "984--989",
   Editor    = "N. Sharygina and H. Veith",
@@ -1189,7 +1190,8 @@ Summarizing:
 @Inproceedings{ChakarovS13,
   Author    = "A. Chakarov and S. Sankaranarayanan",
   Title     = "Probabilistic Program Analysis with Martingales",
-  Booktitle = "Proceedings of Computer Aided Verification - 25th International Conference, {CAV} 2013",
+  Booktitle = "Computer Aided Verification:
+               Proceedings of the 25th International Conference (CAV 2013)",
   Year      = 2013,
   Pages     = "511-526",
   Editor    = "N. Sharygina and H. Veith",
@@ -2849,11 +2851,11 @@ Summarizing:
   Author = "B. Jeannet and A. Min{\'e}",
   Title = "Apron: A Library of Numerical Abstract Domains for Static
            Analysis",
-  Booktitle = "Computer Aided Verification,
+  Booktitle = "Computer Aided Verification:
                Proceedings of the 21st International Conference (CAV 2009)",
   Address = "Grenoble, France",
   Editor = "A. Bouajjani and O. Maler",
-  Publisher = "Springer",
+  Publisher = "Springer-Verlag, Berlin",
   Series = "Lecture Notes in Computer Science",
   Volume = 5643,
   Pages = "661--667",
@@ -2874,14 +2876,16 @@ Summarizing:
 @Incollection {KhalilGP09,
   Author = "G. Khalil and E. Goubault and S. Putot",
   Title = "The Zonotope Abstract Domain {Taylor1+}",
-  Booktitle = "Computer Aided Verification",
-  Series = "Lecture Notes in Computer Science",
+  Booktitle = "Computer Aided Verification:
+               Proceedings of the 21st International Conference (CAV 2009)",
+  Address = "Grenoble, France",
   Editor = "A. Bouajjani and O. Maler",
   Publisher = "Springer-Verlag, Berlin",
-  ISBN = "978-3-642-02657-7",
-  Pages = "627--633",
+  Series = "Lecture Notes in Computer Science",
   Volume = 5643,
+  Pages = "627--633",
   Year = 2009,
+  ISBN = "978-3-642-02657-7",
   Abstract = "Static analysis by abstract interpretation [1] aims it
               automatically inferring properties on the behaviour of
               programs. We focus here on a specific kind of numerical
@@ -3566,7 +3570,7 @@ Summarizing:
 @Inproceedings{PerezRS09,
   Author = "J. A. {Navarro P{\'e}rez} and A. Rybalchenko and A. Singh",
   Title = "Cardinality Abstraction for Declarative Networking Applications",
-  Booktitle = "Computer Aided Verification,
+  Booktitle = "Computer Aided Verification:
                Proceedings of the 21st International Conference (CAV 2009)",
   Address = "Grenoble, France",
   Editor = "A. Bouajjani and O. Maler",
@@ -3606,8 +3610,8 @@ Summarizing:
 @Inproceedings{PhamTTC11,
   Author = "T.-H. Pham and M.-T. Trinh and A.-H. Truong and W.-N. Chin",
   Title = "{FixBag:} A Fixpoint Calculator for Quantified Bag Constraints",
-  Booktitle = "Proceedings of the 23rd International Conference on
-               Computer Aided Verification (CAV 2011)",
+  Booktitle = "Computer Aided Verification:
+               Proceedings of the 23rd International Conference (CAV 2011)",
   Address = "Snowbird, UT, USA",
   Series = "Lecture Notes in Computer Science",
   Editor = "G. Gopalakrishnan and S. Qadeer",