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

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Dec 29 10:38:17 2013 +0100

More corrections.

---

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

diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 6d686e9..e185442 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -3077,7 +3077,7 @@ Summarizing: @Article{Jakubczy12k, Author = "K. Jakubczyk", Title = "Sweeping in Abstract Interpretation", - Journal = "Electronic Notes in Theoretical Computer Science ({ENTCS})", + Journal = "Electronic Notes in Theoretical Computer Science", Publisher = "Elsevier Science Publishers B. V.", Address = "Amsterdam, The Netherlands", Volume = 288, @@ -3187,7 +3187,7 @@ Summarizing: Author = "D. Kapur and Z. Zhang and M. Horbach and H. Zhao and Q. Lu and T. Nguyen", Title = "Geometric Quantifier Elimination Heuristics - for Automatically Generating Octagonal and Max-plus Invariants", + for Automatically Generating Octagonal and Max-Plus Invariants", Booktitle = "Automated Reasoning and Mathematics: Essays in Memory of William W. McCune", Editor = "M. P. Bonacina and M. E. Stickel", @@ -3571,8 +3571,9 @@ Summarizing: }

@article{LuMMRFL12, - Author = "Q. Lu and M. Madsen and M. Milata and S. Ravn and U. Fahrenberg and K. G. Larsen", - Title = "Reachability analysis for timed automata using max-plus algebra", + Author = "Q. Lu and M. Madsen and M. Milata and S. Ravn and U. Fahrenberg + and K. G. Larsen", + Title = "Reachability Analysis for Timed Automata using Max-Plus Algebra", ISSN = "1567-8326", Journal = "Journal of Logic and Algebraic Programming", Volume = 81, @@ -3587,7 +3588,7 @@ Summarizing: backward reachability analysis using max-plus polyhedra. To show that the approach works in practice and theory alike, we have created a proof-of-concept - implementation on top of the model checker opaal." + implementation on top of the model checker \texttt{opaal}." }

@Inproceedings{MakhloufK06,