Difference between revisions of "Bibtex:KSZM09"
From Termination-Portal.org
Jump to navigationJump to search| Line 12: | Line 12: | ||
pages = {295--304}, | pages = {295--304}, | ||
year = 2009, | year = 2009, | ||
| + | volume = 5595, | ||
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:23, 18 May 2009
BibTex
Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp - Tyrolean Termination Tool 2
