Co-Finiteness and Co-Emptiness of Reachability Sets in...

Fundamenta Informaticae 2019 / 10 Vol. 169; Iss. 1-2

Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States

Jančar, Petr, Leroux, Jérôme, Sutre, Grégoire, Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
169
Journal:
Fundamenta Informaticae
DOI:
10.3233/FI-2019-1841
Date:
October, 2019
Fichier:
PDF, 331 KB
2019
La conversion en est effectuée
La conversion en a échoué