@TechReport{      ClementeCzerwinskiLasotaPaperman:VAS:arxiv:2016,
  Author        = "Clemente, Lorenzo and Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir and Paperman, Charles",
  Abstract      = "Given two families of sets",
  date-added    = "2016-09-02 09:12:09 +0000",
  date-modified = "2016-12-30 10:37:47 +0000",
  EPrint        = "1609.00214",
  Month         = "09",
  Title         = "Separability of Reachability Sets of Vector Addition Systems",
  URL           = "http://arxiv.org/abs/1609.00214",
  Year          = "2016",
  bdsk-url-1    = "http://arxiv.org/abs/1609.00214",
  File          = "Separability of Reachability Sets of Vector Addition Systems - Clemente, Czerwiński, Lasota, Paperman (0) (0) - a - a - n.pdf"
}

@TechReport{ ClementeCzerwinskiLasotaPaperman:VAS:arxiv:2016, Author = "Clemente, Lorenzo and Czerwi{\'n}ski, Wojciech and Lasota, S{{\l}}awomir and Paperman, Charles", Abstract = "Given two families of sets", date-added = "2016-09-02 09:12:09 +0000", date-modified = "2016-12-30 10:37:47 +0000", EPrint = "1609.00214", Month = "09", Title = "Separability of Reachability Sets of Vector Addition Systems", URL = "http://arxiv.org/abs/1609.00214", Year = "2016", bdsk-url-1 = "http://arxiv.org/abs/1609.00214", File = "Separability of Reachability Sets of Vector Addition Systems - Clemente, Czerwiński, Lasota, Paperman (0) (0) - a - a - n.pdf" }