×

Found 25 Documents (Results 1–25)

Coverability in 1-VASS with disequality tests. (English) Zbl 07559494

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 38, 20 p. (2020).
MSC:  68Q85

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software