The Termination and Complexity Competition

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-17502-3_10 ◽

2019 ◽

pp. 156-166 ◽

Cited By ~ 6

Author(s):

Jürgen Giesl ◽

Albert Rubio ◽

Christian Sternagel ◽

Johannes Waldmann ◽

Akihisa Yamada

Download Full-text