details

attribute value name TTT2 description Tyrolean Termination Tool, Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp owner Harald Zankl uploaded 2014-07-07 10:12:45.0 disk size 6.2 MB build status uploaded built

configurations

name	description
ttt2	no description
ttt2_cert	no description

websites

link	url
TTT2 home	http://cl-informatik.uibk.ac.at/software/ttt2

actions

get anonymous link download