Tools:TTT2
From Termination-Portal.org
Jump to navigationJump to 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: {{{publication}}}