Tools:TTT2

From Termination-Portal.org

Jump to: navigation, search

TTT2 (Tyrolean Termination Tool 2)

developed at LFU Innsbruck, Austria
home page: http://cl-informatik.uibk.ac.at/software/ttt2/
developers: Martin Korp, Christian Sternagel, Harald Zankl, and Aart Middeldorp
publication: Tyrolean Termination Tool 2

Retrieved from "http://www.termination-portal.org/wiki/Tools:TTT2"

Categories: Tools | LFU Innsbruck | Austria

Views

Personal tools

Log in

Image (C) 2002-8 Gershon Elber. Used with permission.

Search

Toolbox