@InProceedings{   bvass:icalp17,
  Author        = "Figueira, Diego and Lazic, Ranko and Leroux, Jerome and Mazowiecki, Filip and Sutre, Gr{\'e}goire",
  BookTitle     = "Proc. of ICALP'17",
  date-added    = "2017-05-12 11:51:45 +0000",
  date-modified = "2018-05-27 12:00:21 +0000",
  Title         = "{Polynomial-space completeness of reachability for succinct branching VASS in dimension one}",
  Year          = "2017",
  File          = "WRAP-polynomial-space-completeness-reachability-Lazic-2017 (0) - a - a - h.pdf",
  file-2        = "LIPIcs-ICALP-2017-119 (0) - a - a - h.pdf"
}

@InProceedings{ bvass:icalp17, Author = "Figueira, Diego and Lazic, Ranko and Leroux, Jerome and Mazowiecki, Filip and Sutre, Gr{\'e}goire", BookTitle = "Proc. of ICALP'17", date-added = "2017-05-12 11:51:45 +0000", date-modified = "2018-05-27 12:00:21 +0000", Title = "{Polynomial-space completeness of reachability for succinct branching VASS in dimension one}", Year = "2017", File = "WRAP-polynomial-space-completeness-reachability-Lazic-2017 (0) - a - a - h.pdf", file-2 = "LIPIcs-ICALP-2017-119 (0) - a - a - h.pdf" }