Bibtex:AProVE14: Difference between revisions
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
<bibtex>
@inproceedings{AProVE14,
author = {Giesl, J\"urgen and
Brockschmidt, Marc and
Emmes, Fabian and
Frohn, Florian and
Fuhs, Carsten and
Otto, Carsten and
Pl\"ucker, Martin and
Schneider-Kamp, Peter and
Str\"oder, Thomas and
Swiderski, Stephanie and
Thiemann, Ren\'e},
title = "Proving Termination of Programs Automatically with \textsf{AProVE}",
booktitle = "Proceedings IJCAR '14",
year = {2014},
series = {LNAI},
volume = {8562},
pages = {184-191},
publisher = {Springer},
}
</bibtex>