Bibtex:KSZM09

From Termination-Portal.org
Revision as of 14:19, 18 May 2009 by Griff (talk | contribs) (New page: <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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"