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

[Roberto Bagnara]

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

Author: Roberto Bagnara <roberto.bagnara at bugseng.com>
Date:   Sat Dec 28 09:25:09 2013 +0100

Fixed more book titles.

---

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

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib
index 8e3f722..1b2c218 100644
--- a/doc/ppl_citations.bib
+++ b/doc/ppl_citations.bib
@@ -528,7 +528,8 @@ 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 = "Automated Technology for Verification and Analysis:
+               Proceedings of the 11th International Symposium (ATVA 2013)",
   Editor = "D. Van Hung and M. Ogawa",
   Address = "Hanoi, Vietnam",
   Pages = "381--396",
@@ -1042,8 +1043,8 @@ Summarizing:
 @Inproceedings{BrihayeDGQRW13,
   Author = "T. Brihaye and L. Doyen and G. Geeraerts and J. Ouaknine and J.-F. Raskin and J. Worrell",
   Title = "Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points",
-  Booktitle = "Automated Technology for Verification and Analysis,
-               11th International Symposium, {ATVA 2013}",
+  Booktitle = "Automated Technology for Verification and Analysis:
+               Proceedings of the 11th International Symposium (ATVA 2013)",
   Address = "Hanoi, Vietnam",
   Editor = "Dang Van Hung",
   Year = 2013,
@@ -1144,8 +1145,9 @@ Summarizing:
 
 @Inproceedings{CarnevaliPSV13,
  Author = "L. Carnevali and M. Paolieri and A. Santoni and E. Vicario",
- Title = "Non-markovian Analysis for Model Driven Engineering of Real-time Software",
- Booktitle = "{ICPE '13} Proceedings of the 4th {ACM/SPEC} International Conference on Performance Engineering",
+ Title = "Non-Markovian Analysis for Model Driven Engineering of Real-time Software",
+ Booktitle = "Proceedings of the 4th ACM/SPEC International Conference
+              on Performance Engineering (ICPE '13)",
  Year = 2013,
  ISBN = "978-1-4503-1636-1",
  Address = "Prague, Czech Republic",
@@ -1278,8 +1280,10 @@ Summarizing:
 
 @Inproceedings{ChenKSW13,
   Author = "T. Chen and M. Kwiatkowska and A. Simaitis and C. Wiltsche",
-  Title = "Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving",
-  Booktitle = "Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, {QEST} 2013",
+  Title = "Synthesis for Multi-Objective Stochastic Games:
+           An Application to Autonomous Urban Driving",
+  Booktitle = "Quantitative Evaluation of Systems:
+               Proceedings of the 10th International Conference (QEST 2013)",
   Address = "Buenos Aires, Argentina",
   Editor = "K. Joshi and M. Siegle and M. Stoelinga and P. R. D’Argenio",
   Year = 2013,
@@ -1726,7 +1730,7 @@ Summarizing:
   Month = jul,
   Year = 2005,
   Note = "In German",
-  Abstract = "{Diese Arbeit beschreibt eine intra- und auch
+  Abstract = "Diese Arbeit beschreibt eine intra- und auch
               interprozedurale Datenflussanalyse, welche an jedem
               Programmpunkt statisch die Beziehungen, die zwischen den
               Programmvariablen gelten, bestimmen k\"onnen. Die