@Article{         VermaGoubault-Larrecq:BVASS:2005,
  Author        = "Verma, Kumar Neeraj and Goubault-Larrecq, Jean",
  date-added    = "2017-06-01 13:57:17 +0000",
  date-modified = "2018-05-27 11:36:49 +0000",
  hal_id        = "hal-00959038",
  hal_version   = "v1",
  Journal       = "{Discrete Mathematics and Theoretical Computer Science}",
  Keywords      = "equational tree automata and branching vector addition systems and Karp-Miller trees and coverability and multiplicative exponential linear logic and readme",
  Pages         = "217-230",
  PDF           = "https://hal.inria.fr/hal-00959038/file/dm070113.pdf",
  Publisher     = "{DMTCS}",
  Title         = "{Karp-Miller Trees for a Branching Extension of VASS}",
  URL           = "https://hal.inria.fr/hal-00959038",
  Volume        = "7",
  Year          = "2005",
  bdsk-url-1    = "https://hal.inria.fr/hal-00959038",
  File          = "dm0701130 (0) - a - a - e.pdf",
  file-2        = "dm070113 (0) - a - a - e.pdf"
}

@Article{ VermaGoubault-Larrecq:BVASS:2005, Author = "Verma, Kumar Neeraj and Goubault-Larrecq, Jean", date-added = "2017-06-01 13:57:17 +0000", date-modified = "2018-05-27 11:36:49 +0000", hal_id = "hal-00959038", hal_version = "v1", Journal = "{Discrete Mathematics and Theoretical Computer Science}", Keywords = "equational tree automata and branching vector addition systems and Karp-Miller trees and coverability and multiplicative exponential linear logic and readme", Pages = "217-230", PDF = "https://hal.inria.fr/hal-00959038/file/dm070113.pdf", Publisher = "{DMTCS}", Title = "{Karp-Miller Trees for a Branching Extension of VASS}", URL = "https://hal.inria.fr/hal-00959038", Volume = "7", Year = "2005", bdsk-url-1 = "https://hal.inria.fr/hal-00959038", File = "dm0701130 (0) - a - a - e.pdf", file-2 = "dm070113 (0) - a - a - e.pdf" }