Difference between revisions of "Bibtex:AProVE14"

From Termination-Portal.org
Jump to navigationJump to search
(Updated bibtex for AProVE System Description)
 
Line 21: Line 21:
 
   booktitle    = "Proceedings IJCAR '14",
 
   booktitle    = "Proceedings IJCAR '14",
 
   year          = {2014},
 
   year          = {2014},
   series   = {LNAI},
+
   series       = {LNAI},
   note = {To appear.},
+
   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
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