Coverability in 1-VASS with Disequality Tests - Laboratoire Interdisciplinaire des Sciences du Numérique Access content directly
Conference Papers Year : 2020

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More