Coverability in 1-VASS with Disequality Tests - Archive ouverte HAL
Communication Dans Un Congrès Année : 2020

Coverability in 1-VASS with Disequality Tests

Shaull Almagor
  • Fonction : Auteur
Technion - Israel Institute of Technology [Haifa]
Nathann Cohen
Guillermo A. Pérez
  • Fonction : Auteur
Université libre de Bruxelles
Mahsa Shirmohammadi
Institut de Recherche en Informatique Fondamentale
James Worrell
  • Fonction : Auteur
University of Oxford

Domaines

Informatique et théorie des jeux [cs.GT]

Mahsa Shirmohammadi  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03064637

Soumis le : lundi 14 décembre 2020-14:43:57

Dernière modification le : vendredi 17 mai 2024-16:10:09

Consulter le texte intégral

Dates et versions

hal-03064637 , version 1 (14-12-2020)

Identifiants

Citer

Shaull Almagor, Nathann Cohen, Guillermo A. Pérez, Mahsa Shirmohammadi, James Worrell. Coverability in 1-VASS with Disequality Tests. 31st International Conference on Concurrency Theory, CONCUR 2020, Aug 2020, Vienna, Austria. pp.38:1--38:20, ⟨10.4230/LIPIcs.CONCUR.2020.38⟩. ⟨hal-03064637⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES LISN GS-COMPUTER-SCIENCE LISN-GALAC IRIF
38 Consultations
0 Téléchargements

Altmetric

Partager

More