Bibtex:CoLoR06: Difference between revisions
No edit summary |
No edit summary |
||
| Line 9: | Line 9: | ||
BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, | BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, | ||
YEAR = 2006, | YEAR = 2006, | ||
url = {http://www-rocq.inria.fr/~blanqui/wst06color-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:12, 3 June 2009
BibTex
<bibtex> @INPROCEEDINGS{blanqui06wst-color, AUTHOR = {F. Blanqui and S. Coupet-Grimal and W. Delobel and S. Hinderer and A. Koprowski}, TITLE = {CoLoR: a Coq Library on Rewriting and termination}, BOOKTITLE = {Proceedings of the 8th International Workshop on Termination (WST)}, YEAR = 2006, url = {http://www-rocq.inria.fr/~blanqui/wst06color-pdf.html}} </bibtex>