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]
Abstract is missing.