From Termination-Portal.org
|
|
| (4 intermediate revisions by the same user not shown) |
| Line 9: |
Line 9: |
| institution = {INRIA Rocquencourt, France}, | | institution = {INRIA Rocquencourt, France}, |
| year = 2009, | | year = 2009, |
| number = 6949} | | number = 6949, |
| | url = {http://www-rocq.inria.fr/~blanqui/rr6949-pdf.html}} |
| </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --> | | </bibtex><!-- If you want to add some additional information to the reference page, you can do so after this comment. --> |
Latest revision as of 07:13, 3 June 2009
BibTex
<bibtex>
@TechReport{CoLoR09,
author = {F. Blanqui and A. Koprowski},
title = {Automated verification of termination certificates},
institution = {INRIA Rocquencourt, France},
year = 2009,
number = 6949,
url = {http://www-rocq.inria.fr/~blanqui/rr6949-pdf.html}}
</bibtex>
