Jump to content

Bibtex:SG09

From Termination-Portal.org
Revision as of 10:40, 30 December 2009 by Schernhammer (talk | contribs) (Created page with ' <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below this comment. -->…')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

BibTex

<bibtex> @inproceedings{IJCAR06, 

 author        = "F. Schernhammer and B. Gramlich",
 title         = "VMTL - A Modular Termination Laboratory", 
 booktitle     = "Proceedings RTA '09",
 publisher     = "Springer",
 series        = "LNCS 5595",
 pages         = "285-294",
 year          = "2009"

} </bibtex>

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Bibtex:SG09&oldid=1037"