Bibtex:SG09
From Termination-Portal.org
Jump to navigationJump to searchBibTex
F. Schernhammer, B. Gramlich - VMTL - A Modular Termination Laboratory
- Proceedings RTA '09 pp. 285-294,2009
- BibtexAuthor : F. Schernhammer, B. Gramlich
Title : VMTL - A Modular Termination Laboratory
In : Proceedings RTA '09 -
Address :
Date : 2009
