Module: ppl/ppl Branch: master Commit: 5cee161f40429e641ad64c2630055221ab896633 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5cee161f40429...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Sun Dec 29 10:53:57 2013 +0100
Several corrections.
---
doc/ppl_citations.bib | 14 ++++++++------ 1 files changed, 8 insertions(+), 6 deletions(-)
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index e185442..26eb69d 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -577,8 +577,8 @@ Summarizing: Title = "Merge and Conquer: State Merging in Parametric Timed Automata", 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", + Editor = "D. {Van Hung} and M. Ogawa", Pages = "381--396", Publisher = "Springer-Verlag, Berlin", Series = "Lecture Notes in Computer Science", @@ -1044,7 +1044,7 @@ Summarizing: }
@InProceedings{BozgaIK12, - Author = "M. Bozga and R. Iosif and F. Kone\v{c}n'y", + Author = "M. Bozga and R. Iosif and F. Kone\v{c}n'{y}", Title = "Deciding Conditional Termination", Booktitle = "Tools and Algorithms for the Construction and Analysis of Systems: Proceedings of the 18th International Conference @@ -1155,12 +1155,14 @@ 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", + 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: Proceedings of the 11th International Symposium (ATVA 2013)", Address = "Hanoi, Vietnam", - Editor = "Dang {Van Hung}", + Editor = "D. {Van Hung} and M. Ogawa", Year = 2013, Pages = "55--70", Publisher = "Springer-Verlag, Berlin", @@ -3460,7 +3462,7 @@ Summarizing: Author = "A. Legay and L.-M. Traonouez", Title = "{PyEcdar}: Towards Open Source Implementation for Timed Systems", Booktitle = "Automated Technology for Verification and Analysis: - proceedings of the 11th International Symposium, {ATVA} 2013", + Proceedings of the 11th International Symposium (ATVA 2013)", Address = "Hanoi, Vietnam", Editor = "D. {Van Hung} and M. Ogawa", Pages = "460--463",