Bibtex:TS09

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

BibTex

<bibtex> @inproceedings{TS09,

 author        = "R. Thiemann and C. Sternagel",
 title         = "Certification of Termination Proofs using CeTA", 
 booktitle     = "Proceedings TPHOLs '09",
 publisher     = "Springer",
 series        = "LNCS 5674",
 pages         = "452-468",
 year          = "2009"

}

</bibtex>