@Article{         LerouxSchmitz,
  Author        = "Leroux, J{\'e}r{\^o}me and Schmitz, Sylvain",
  Abstract      = "More than 30 years after their inception, the decidability proofs for reachability in vector addition systems (VAS) still retain much of their mystery. These proofs rely crucially on a decomposition of runs successively refined by Mayr, Kosaraju, and Lambert, which appears rather magical, and for which no complexity upper bound is known.",
  date-added    = "2015-04-20 12:20:37 +0000",
  date-modified = "2015-04-20 12:20:37 +0000",
  EPrint        = "1503.00745",
  Month         = "03",
  Title         = "Reachability in Vector Addition Systems Demystified",
  URL           = "http://arxiv.org/abs/1503.00745",
  Year          = "2015",
  bdsk-url-1    = "http://arxiv.org/abs/1503.00745",
  File          = "1503.00745 (0) - a - a - i.pdf",
  file-2        = "Reachability in Vector Addition Systems Demystified - Leroux, Schmitz (0) (0) - a - a - i.pdf"
}

@Article{ LerouxSchmitz, Author = "Leroux, J{\'e}r{\^o}me and Schmitz, Sylvain", Abstract = "More than 30 years after their inception, the decidability proofs for reachability in vector addition systems (VAS) still retain much of their mystery. These proofs rely crucially on a decomposition of runs successively refined by Mayr, Kosaraju, and Lambert, which appears rather magical, and for which no complexity upper bound is known.", date-added = "2015-04-20 12:20:37 +0000", date-modified = "2015-04-20 12:20:37 +0000", EPrint = "1503.00745", Month = "03", Title = "Reachability in Vector Addition Systems Demystified", URL = "http://arxiv.org/abs/1503.00745", Year = "2015", bdsk-url-1 = "http://arxiv.org/abs/1503.00745", File = "1503.00745 (0) - a - a - i.pdf", file-2 = "Reachability in Vector Addition Systems Demystified - Leroux, Schmitz (0) (0) - a - a - i.pdf" }