%0 Conference Paper %1 conf/concur/MazowieckiP19 %A Mazowiecki, Filip %A Pilipczuk, Michal %B CONCUR %D 2019 %E Fokkink, Wan J. %E van Glabbeek, Rob %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 28:1-28:13 %T Reachability for Bounded Branching VASS. %U http://dblp.uni-trier.de/db/conf/concur/concur2019.html#MazowieckiP19 %V 140 %@ 978-3-95977-121-4

@inproceedings{conf/concur/MazowieckiP19, added-at = {2019-08-30T00:00:00.000+0200}, author = {Mazowiecki, Filip and Pilipczuk, Michal}, biburl = {https://www.bibsonomy.org/bibtex/2f054c87ad89af4dc549dbc0847847c68/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2019}, editor = {Fokkink, Wan J. and van Glabbeek, Rob}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.28}, interhash = {5d491472cb6f77878024d1d85c9d8ed0}, intrahash = {f054c87ad89af4dc549dbc0847847c68}, isbn = {978-3-95977-121-4}, keywords = {dblp}, pages = {28:1-28:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-05-19T12:32:54.000+0200}, title = {Reachability for Bounded Branching VASS.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2019.html#MazowieckiP19}, volume = 140, year = 2019 }