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

Author: Roberto Bagnara roberto.bagnara@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