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
Access Full Article
top
How to cite
topVerma, Kumar Neeraj, and Goubault-Larrecq, Jean. "Karp-Miller trees for a branching extension of VASS.." Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only] 7.1 (2005): 217-239. <http://eudml.org/doc/129486>.
@article{Verma2005,
author = {Verma, Kumar Neeraj, Goubault-Larrecq, Jean},
journal = {Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]},
language = {eng},
number = {1},
pages = {217-239},
publisher = {Maison de l'Informatique et des Mathématiques Discrètes, MIMD},
title = {Karp-Miller trees for a branching extension of VASS.},
url = {http://eudml.org/doc/129486},
volume = {7},
year = {2005},
}
TY - JOUR
AU - Verma, Kumar Neeraj
AU - Goubault-Larrecq, Jean
TI - Karp-Miller trees for a branching extension of VASS.
JO - Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]
PY - 2005
PB - Maison de l'Informatique et des Mathématiques Discrètes, MIMD
VL - 7
IS - 1
SP - 217
EP - 239
LA - eng
UR - http://eudml.org/doc/129486
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.