Difference between revisions of "Tools:Matchbox"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (New page: <!-- 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 yourself af...) |
J.waldmann (talk | contribs) |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Line 7: | Line 7: | ||
{{Tool | {{Tool | ||
|shortname=Matchbox | |shortname=Matchbox | ||
| − | |longname= | + | |longname=Matchbox |
| − | |homepage= | + | |homepage=https://github.com/jwaldmann/matchbox |
|country=Germany | |country=Germany | ||
|university=HTWK Leipzig | |university=HTWK Leipzig | ||
| − | |developers=Johannes Waldmann | + | |developers=Alexander Bau, Eric Noeth, Johannes Waldmann |
| + | |publication=http://dblp.uni-trier.de/rec/bibtex/conf/rta/KoprowskiW08 | ||
}} | }} | ||
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | <!-- If you want to add some additional information to the tool page, you can do so after this comment. --> | ||
Latest revision as of 07:41, 5 June 2014
Matchbox (Matchbox)
- developed at HTWK Leipzig, Germany
- home page: https://github.com/jwaldmann/matchbox
- developers: Alexander Bau, Eric Noeth, Johannes Waldmann
- publication: http://dblp.uni-trier.de/rec/bibtex/conf/rta/KoprowskiW08
