@TechReport{      jacobedenaurois:hal-00947136,
  Author        = "Jacob{\'e} De Naurois, Paulin",
  date-added    = "2017-06-02 06:33:37 +0000",
  date-modified = "2017-06-02 06:33:37 +0000",
  hal_id        = "hal-00947136",
  hal_version   = "v1",
  Keywords      = "VASS ; Branching VASS ; reachability ; coverability",
  Month         = "February",
  PDF           = "https://hal.archives-ouvertes.fr/hal-00947136/file/RapportRecherche.pdf",
  Title         = "{Coverability in a NonFunctional Extension of BVASS}",
  URL           = "https://hal.archives-ouvertes.fr/hal-00947136",
  Year          = "2014",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-00947136",
  File          = "VASS\_SJ\_report (0) - a - a - r.pdf"
}

@TechReport{ jacobedenaurois:hal-00947136, Author = "Jacob{\'e} De Naurois, Paulin", date-added = "2017-06-02 06:33:37 +0000", date-modified = "2017-06-02 06:33:37 +0000", hal_id = "hal-00947136", hal_version = "v1", Keywords = "VASS ; Branching VASS ; reachability ; coverability", Month = "February", PDF = "https://hal.archives-ouvertes.fr/hal-00947136/file/RapportRecherche.pdf", Title = "{Coverability in a NonFunctional Extension of BVASS}", URL = "https://hal.archives-ouvertes.fr/hal-00947136", Year = "2014", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-00947136", File = "VASS_SJ_report (0) - a - a - r.pdf" }