Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Wed, 01 Oct 2025 01:00:00 +0200

Zsófia Ádám , Paulína Ayaziová , Levente Bajczi , Dirk Beyer , Marek Jankola , Marian Lingsch Rosenfeld , Jan Strejcek :
Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'. Version ASE25-proceedings-pre. [all versions]