APA (7th ed.) Citation

Ádám, Z., Ayaziová, P., Bajczi, L., Beyer, D., Jankola, M., Lingsch-Rosenfeld, M., & Strejček, J. (2025). Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'. Zenodo.

Chicago Style (17th ed.) Citation

Ádám, Zsófia, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch-Rosenfeld, and Jan Strejček. Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'. Zenodo, 2025.

MLA (9th ed.) Citation

Ádám, Zsófia, et al. Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'. Zenodo, 2025.