The Termination and Complexity Competition

Cham / Springer International Publishing (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Tools and Algorithms for the Construction and Analysis of Systems / Beyer, Dirk (Editor) [https://orcid.org/0000-0003-4832-7662]
Seite(n): 156-166

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Giesl, Jürgen
Rubio, Albert
Sternagel, Christian
Waldmann, Johannes
Yamada, Akihisa

Identifikationsnummern