diff options
| -rw-r--r-- | 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 6d686e99e..e185442d8 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, |