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]

Authors

Jürgen Giesl

This author has not been identified. It may be one of the following persons: Look up 'Jürgen Giesl' in Google

Albert Rubio

This author has not been identified. Look up 'Albert Rubio' in Google

Christian Sternagel

This author has not been identified. Look up 'Christian Sternagel' in Google

Johannes Waldmann

This author has not been identified. Look up 'Johannes Waldmann' in Google

Akihisa Yamada 0002

This author has not been identified. Look up 'Akihisa Yamada 0002' in Google