Bibtex:SG09

From Termination-Portal.org
Jump to: navigation, 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
Personal tools