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

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ádám, Zsófia, Ayaziová, Paulína, Bajczi, Levente, Beyer, Dirk, Jankola, Marek, Lingsch-Rosenfeld, Marian, Strejček, Jan
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2025
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Internet