[PPL-devel] [GIT] ppl/ppl(master): Consistency improved.

[Roberto Bagnara]

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

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