%0 Journal Article %1 journals/jar/GieslABEFFHOPSS17 %A Giesl, Jürgen %A Aschermann, Cornelius %A Brockschmidt, Marc %A Emmes, Fabian %A Frohn, Florian %A Fuhs, Carsten %A Hensel, Jera %A Otto, Carsten %A Plücker, Martin %A Schneider-Kamp, Peter %A Ströder, Thomas %A Swiderski, Stephanie %A Thiemann, René %D 2017 %J J. Autom. Reasoning %K dblp %N 1 %P 3-31 %T Analyzing Program Termination and Complexity Automatically with AProVE. %U http://dblp.uni-trier.de/db/journals/jar/jar58.html#GieslABEFFHOPSS17 %V 58

@article{journals/jar/GieslABEFFHOPSS17, added-at = {2019-09-25T00:00:00.000+0200}, author = {Giesl, Jürgen and Aschermann, Cornelius and Brockschmidt, Marc and Emmes, Fabian and Frohn, Florian and Fuhs, Carsten and Hensel, Jera and Otto, Carsten and Plücker, Martin and Schneider-Kamp, Peter and Ströder, Thomas and Swiderski, Stephanie and Thiemann, René}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2969baff142132dc20716e5ce32600a10/dblp}, ee = {https://doi.org/10.1007/s10817-016-9388-y}, interhash = {32b61db3c0fc11f7f875df2f99a12c66}, intrahash = {969baff142132dc20716e5ce32600a10}, journal = {J. Autom. Reasoning}, keywords = {dblp}, number = 1, pages = {3-31}, timestamp = {2019-09-27T11:37:04.000+0200}, title = {Analyzing Program Termination and Complexity Automatically with AProVE.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar58.html#GieslABEFFHOPSS17}, volume = 58, year = 2017 }