Module: ppl/ppl Branch: master Commit: 63483db77fe587311d3fa04608c67b2416a1b108 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63483db77fe58...
Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Fri Jan 10 08:41:15 2014 +0100
Consistency improved.
---
doc/ppl_citations.bib | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 2d9f547..528af06 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -308,7 +308,7 @@ Summarizing: Title = "Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems", Booktitle = "Proceedings of the 15th ACM International Conference - on Hybrid Systems: Computation and Control (HSCC '12)", + on Hybrid Systems: Computation and Control (HSCC 2012)", Year = 2012, ISBN = "978-1-4503-1220-2", Address = "Beijing, China", @@ -878,7 +878,7 @@ Summarizing: Author = "M. Benerecetti and M. Faella", Title = "Tracking Differentiable Trajectories Across Polyhedra Boundaries", Booktitle = "Proceedings of the 16th International Conference on - Hybrid Systems: Computation and Control ({HSCC} '13)", + Hybrid Systems: Computation and Control (HSCC 2013)", Year = 2013, ISBN = "978-1-4503-1567-8", Address = "Philadelphia, Pennsylvania, USA",