Difference between revisions of "Bibtex:AProVE14"
From Termination-Portal.org
Jump to navigationJump to searchm (→BibTex) |
(Updated bibtex for AProVE System Description) |
||
| Line 21: | Line 21: | ||
booktitle = "Proceedings IJCAR '14", | 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
