Difference between revisions of "Template:AddTool"
From Termination-Portal.org
Jump to navigationJump to search| Line 8: | Line 8: | ||
introducing your tool. The "References" page can be used to enter a bibtex | introducing your tool. The "References" page can be used to enter a bibtex | ||
record for this publication. | record for this publication. | ||
| + | Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]] | ||
--> | --> | ||
