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

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⟩
30 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More