[PPL-devel] [GIT] ppl/w3ppl(master): Updated BagnaraHZ09TRa.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Thu Apr 16 07:43:49 2009 +0200

Updated BagnaraHZ09TRa.

---

 htdocs/Documentation/ppl.bib |   10 +++++++---
 1 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/htdocs/Documentation/ppl.bib b/htdocs/Documentation/ppl.bib
index 76ebb2d..03d4d3e 100644
--- a/htdocs/Documentation/ppl.bib
+++ b/htdocs/Documentation/ppl.bib
@@ -931,13 +931,17 @@
               domains with floating point numbers are also discussed.",
 }
 
- at Misc{BagnaraHZ09TRa,
+ at Techreport{BagnaraHZ09TRa,
   Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
   Title = "Exact Join Detection for Convex Polyhedra
            and Other Numerical Abstractions",
-  Howpublished = "Report {\tt arXiv:cs.CG/0904.1783}",
-  Note = "Available from \url{http://arxiv.org/}.",
+  Number = 492,
+  Type = "Quaderno",
+  Institution = "Dipartimento di Matematica, Universit\`a di Parma, Italy",
   Year = 2009,
+  Note = "Available at \url{http://www.cs.unipr.it/Publications/}.
+          Also published as {\tt arXiv:cs.CG/0904.1783},
+          available from \url{http://arxiv.org/}.",
   Abstract = "Deciding whether the union of two convex polyhedra is a
               convex polyhedron is a basic problem in polyhedral
               computation having important applications in the field