Complexity of Coverability in Depth-Bounded Processes
A. Balasubramanian. 33rd International Conference on Concurrency Theory (CONCUR 2022), volume 243 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2022)
DOI: 10.4230/LIPIcs.CONCUR.2022.17