Karp-Miller trees for a branching extension of VASS.
Verma, Kumar Neeraj; Goubault-Larrecq, Jean
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] (2005)
- Volume: 7, Issue: 1, page 217-239
- ISSN: 1365-8050
Verma, Kumar Neeraj; Goubault-Larrecq, Jean
Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] (2005)