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

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