Bibtex:KSZM09

From Termination-Portal.org

Revision as of 14:24, 18 May 2009 by Griff (talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

BibTex

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

Proceedings RTA '09 5595:295--304,2009

Author : Martin Korp, Christian Sternagel, Harald Zankl, Aart 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=799"

Navigation menu