Module: ppl/ppl Branch: deprecated_0_11_removal Commit: d77b6ad1c7ddac3a8ff4168114975e2c894caeb3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d77b6ad1c7dda...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 16 07:47:21 2009 +0200

Updated BHZ09b.

---

doc/definitions.dox | 7 +++++-- 1 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/definitions.dox b/doc/definitions.dox index 123bb92..e493e03 100644 --- a/doc/definitions.dox +++ b/doc/definitions.dox @@ -3160,8 +3160,11 @@ R.&nbsp;Bagnara, P.&nbsp;M. Hill, and E.&nbsp;Zaffanella. R.&nbsp;Bagnara, P.&nbsp;M. Hill, and E.&nbsp;Zaffanella. Exact join detection for convex polyhedra and other numerical abstractions. - Report <tt>arXiv:cs.CG/0904.1783</tt>, 2009. - Available from <a href="http://arxiv.org/">http://arxiv.org/</a>. + Quaderno 492, Dipartimento di Matematica, Universit&agrave; di Parma, + Italy, 2009. + Available at <a href="http://www.cs.unipr.it/Publications/">http://www.cs.unipr.it/Publications/</a>. Also + published as <tt>arXiv:cs.CG/0904.1783</tt>, available from + <a href="http://arxiv.org/">http://arxiv.org/</a>.

</DD>