Tools and Algorithms for the Construction and Analysis of Systems

Michael Blondin, Christoph Haase, Philip Offtermatt , editor = · 2021 · Lecture Notes in Computer Science · DOI 10.1007/978-3-030-72013-1

1 Pith paper cite this work, alongside 1 external citations. Polarity classification is still indexing.

1 Pith paper citing it

1 external citations · Crossref

open at publisher browse 1 citing papers

representative citing papers

cs.FL · 2026-05-14 · unverdicted · novelty 8.0

Coverability for order-k nested reset counter systems is F_Ωk-complete.

Showing 1 of 1 citing paper.

The Complexity of Nested Reset Counter Systems cs.FL · 2026-05-14 · unverdicted · none · ref 46
Coverability for order-k nested reset counter systems is F_Ωk-complete.