Category:Bibtex

From Termination-Portal.org
Jump to navigationJump to search

Below is a list of references for publications on termination analysis and related areas.

To make this list more useful, please consider adding useful references: <createarticle>

type=createarticle
prefix=Bibtex:
preload=Template:AddReference
default=Identifier
buttonlabel=Create Reference
align=left

</createarticle>