Dmitry Chistikov, Wojciech Czerwinski, Piotr Hofman, Michal Pilipczuk, Michael Wehar. Shortest paths in one-counter systems. Logical Methods in Computer Science, 15(1), 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.