Difference between revisions of "Bibtex:AProVE14"
From Termination-Portal.org
Jump to navigationJump to search (reference to current system description for AProVE) |
m (→BibTex) |
||
| Line 19: | Line 19: | ||
Thiemann, Ren\'e}, | Thiemann, Ren\'e}, | ||
title = "Proving Termination of Programs Automatically with \textsf{AProVE}", | title = "Proving Termination of Programs Automatically with \textsf{AProVE}", | ||
| − | booktitle = " | + | booktitle = "Proceedings IJCAR '14", |
year = {2014}, | year = {2014}, | ||
series = {LNAI}, | series = {LNAI}, | ||
Revision as of 20:22, 25 May 2014
BibTex
Giesl, J\"urgen, Brockschmidt, Marc, Emmes, Fabian, Frohn, Florian, Fuhs, Carsten, Otto, Carsten, Pl\"ucker, Martin, Schneider-Kamp, Peter, Str\"oder, Thomas, Swiderski, Stephanie, Thiemann, Ren\'e - Proving Termination of Programs Automatically with \textsf{AProVE}
