Difference between revisions of "Bibtex:KSZM09"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
 
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

BibTex

Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp - Tyrolean Termination Tool 2

Proceedings RTA '09" pp. 295--304,2009
Bibtex
Author : Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp
Title : Tyrolean Termination Tool 2
In : Proceedings RTA '09" -
Address :
Date : 2009