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