Bibtex:CoLoR09

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>