Difference between revisions of "Bibtex:AProVE14"

From Termination-Portal.org
Jump to navigationJump to search
(reference to current system description for AProVE)
 
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    = "Proc.\ IJCAR~'14",
+
   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}

Proceedings IJCAR '14 ,2014
Bibtex
Author : 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