Difference between revisions of "Tools:Matchbox"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| 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=http://dblp.uni-trier.de/rec/bibtex/conf/rta/KoprowskiW08 | |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
