Kumar Neeraj Verma, Jean Goubault-Larrecq. Karp-Miller Trees for a Branching Extension of VASS. Discrete Mathematics & Theoretical Computer Science, 7(1):217-230, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.