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)
Jump to navigationJump to search

BibTex

F. Schernhammer, B. Gramlich - VMTL - A Modular Termination Laboratory

Proceedings RTA '09 pp. 285-294,2009
Bibtex
Author : F. Schernhammer, B. Gramlich
Title : VMTL - A Modular Termination Laboratory
In : Proceedings RTA '09 -
Address :
Date : 2009