@Article{         HofmanLasotaMayrTotzke,
  Author        = "Hofman, Piotr and Lasota, Slawomir and Mayr, Richard and Totzke, Patrick",
  date-added    = "2013-12-02 11:28:47 +0000",
  date-modified = "2013-12-02 11:28:51 +0000",
  EPrint        = "1310.6303",
  Month         = "10",
  Title         = "Simulation Over One-counter Nets is PSPACE-Complete",
  URL           = "http://arxiv.org/abs/1310.6303",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1310.6303",
  File          = "Simulation Over One-counter Nets is PSPACE-Complete - Hofman, Lasota, Mayr, Totzke (0) (0) - a - a - z.pdf"
}

@Article{ HofmanLasotaMayrTotzke, Author = "Hofman, Piotr and Lasota, Slawomir and Mayr, Richard and Totzke, Patrick", date-added = "2013-12-02 11:28:47 +0000", date-modified = "2013-12-02 11:28:51 +0000", EPrint = "1310.6303", Month = "10", Title = "Simulation Over One-counter Nets is PSPACE-Complete", URL = "http://arxiv.org/abs/1310.6303", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1310.6303", File = "Simulation Over One-counter Nets is PSPACE-Complete - Hofman, Lasota, Mayr, Totzke (0) (0) - a - a - z.pdf" }