Difference between revisions of "Tools:THOR"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa...") |
(No difference)
|
Latest revision as of 18:27, 26 June 2012
THOR ()
- developed at UPC, ES
- home page: http://www.lsi.upc.edu/~albert
- developers: Albert Rubio
- publication: