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> ...)
(No difference)

Revision as of 14:19, 18 May 2009

BibTex

M. Korp, C. Sternagel, H. Zankl, A. Middeldorp - Tyrolean Termination Tool 2

Proceedings RTA '09 pp. 295-304,2009
Bibtex
Author : M. Korp, C. Sternagel, H. Zankl, A. Middeldorp
Title : Tyrolean Termination Tool 2
In : Proceedings RTA '09 -
Address :
Date : 2009
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:KSZM09&oldid=796"