Difference between revisions of "Bibtex:KSZM09"
From Termination-Portal.org
Jump to navigationJump to search| Line 7: | Line 7: | ||
author = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp}, | author = {Martin Korp and Christian Sternagel and Harald Zankl and Aart Middeldorp}, | ||
title = {Tyrolean Termination Tool 2}, | title = {Tyrolean Termination Tool 2}, | ||
| − | booktitle = {Proceedings RTA '09 | + | booktitle = {Proceedings RTA '09}, |
publisher = {Springer}, | publisher = {Springer}, | ||
series = {LNCS}, | series = {LNCS}, | ||
Revision as of 14:24, 18 May 2009
BibTex
Martin Korp, Christian Sternagel, Harald Zankl, Aart Middeldorp - Tyrolean Termination Tool 2
