The Termination and Complexity Competition

Jürgen Giesl, Albert Rubio, Christian Sternagel, Johannes Waldmann, Akihisa Yamada 0002. The Termination and Complexity Competition. In Dirk Beyer 0001, Marieke Huisman, Fabrice Kordon, Bernhard Steffen, editors, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Volume 11429 of Lecture Notes in Computer Science, pages 156-166, Springer, 2019. [doi]

@inproceedings{GieslRSWY19,
  title = {The Termination and Complexity Competition},
  author = {Jürgen Giesl and Albert Rubio and Christian Sternagel and Johannes Waldmann and Akihisa Yamada 0002},
  year = {2019},
  doi = {10.1007/978-3-030-17502-3_10},
  url = {https://doi.org/10.1007/978-3-030-17502-3_10},
  researchr = {https://researchr.org/publication/GieslRSWY19},
  cites = {0},
  citedby = {0},
  pages = {156-166},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III},
  editor = {Dirk Beyer 0001 and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
  volume = {11429},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-17502-3},
}