Jump to content

Bibtex:CoLoR06

From Termination-Portal.org
Revision as of 02:01, 14 May 2009 by Blanqui (talk | contribs) (New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @INPROCEEDINGS{blanqui06wst-color, AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski}, TITLE = {{CoLoR}: a {C}oq {L}ibrary on {R}ewriting and termination}, BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, YEAR = 2006, NOTE = {\url{http://color.inria.fr/}}} </bibtex>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:CoLoR06&oldid=779"