Bibtex:KSZM09
From Termination-Portal.org
Jump to navigationJump to search
BibTex
M. Korp, C. Sternagel, H. Zankl, A. Middeldorp - Tyrolean Termination Tool 2
- Proceedings RTA '09 pp. 295-304,2009
- BibtexAuthor : M. Korp, C. Sternagel, H. Zankl, A. Middeldorp
Title : Tyrolean Termination Tool 2
In : Proceedings RTA '09 -
Address :
Date : 2009