Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/corr/BlondinFGHM14
%A Blondin, Michael
%A Finkel, Alain
%A Göller, Stefan
%A Haase, Christoph
%A McKenzie, Pierre
%D 2014
%J CoRR
%K dblp
%T Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete.
%U http://dblp.uni-trier.de/db/journals/corr/corr1412.html#BlondinFGHM14
%V abs/1412.4259
@article{journals/corr/BlondinFGHM14,
added-at = {2018-08-13T00:00:00.000+0200},
author = {Blondin, Michael and Finkel, Alain and Göller, Stefan and Haase, Christoph and McKenzie, Pierre},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2063ea175bc4a9da562306022e19d269c/dblp},
ee = {http://arxiv.org/abs/1412.4259},
interhash = {9afe86fa41ff1b183d53efe40d9109a1},
intrahash = {063ea175bc4a9da562306022e19d269c},
journal = {CoRR},
keywords = {dblp},
timestamp = {2019-09-27T09:25:02.000+0200},
title = {Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE-complete.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1412.html#BlondinFGHM14},
volume = {abs/1412.4259},
year = 2014
}
