Bibtex:SG09

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>