Difference between revisions of "Bibtex:AProVE14"
From Termination-Portal.org
Jump to navigationJump to search (reference to current system description for AProVE) |
(Updated bibtex for AProVE System Description) |
||
(One intermediate revision by the same user not shown) | |||
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 | + | series = {LNAI}, |
− | + | volume = {8562}, | |
+ | pages = {184-191}, | ||
publisher = {Springer}, | publisher = {Springer}, | ||
} | } |
Latest revision as of 07:55, 29 July 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}
- Proceedings IJCAR '14 8562:184-191,2014
- BibtexAuthor : 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
Title : Proving Termination of Programs Automatically with \textsf{AProVE}
In : Proceedings IJCAR '14 -
Address :
Date : 2014