Difference between revisions of "Tools:VMTL"
From Termination-Portal.org
Jump to navigationJump to searchSchernhammer (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 page y…') |
(No difference)
|
Latest revision as of 10:45, 30 December 2009
VMTL (Vienna Modular Termination Laboratory)
- developed at Vienna University of Technology, Austria
- home page: http://www.logic.at/vmtl/
- developers: Felix Schernhammer, Bernhard Gramlich
- publication: VMTL - A Modular Termination Laboratory