|
|
| Line 5: |
Line 5: |
| | <bibtex> | | <bibtex> |
| | @inproceedings{KSZM09, | | @inproceedings{KSZM09, |
| − | author = "M. Korp and C. Sternagel and H. Zankl and A. Middeldorp", | + | author = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp}, |
| − | title = "Tyrolean Termination Tool 2", | + | title = {Tyrolean Termination Tool 2}, |
| − | booktitle = "Proceedings RTA '09", | + | booktitle = {Proceedings RTA '09"}, |
| − | publisher = "Springer", | + | publisher = {Springer}, |
| − | series = "LNCS", | + | series = {LNCS}, |
| − | pages = "295-304", | + | pages = {295--304}, |
| − | year = "2009", | + | year = 2009, |
| − | note = "To appear." | + | note = {To appear.} |
| | } | | } |
| | </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. --> |
Revision as of 14:20, 18 May 2009
