Difference between revisions of "Tools:Matchbox"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 8: | Line 8: | ||
|shortname=Matchbox | |shortname=Matchbox | ||
|longname=Matchbox | |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= | + | |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
