@Unpublished{     figueira:hal-02193089,
  Author        = "Figueira, Diego",
  date-added    = "2019-12-22 11:59:58 +0100",
  date-modified = "2019-12-22 11:59:58 +0100",
  hal_id        = "hal-02193089",
  hal_version   = "v2",
  Keywords      = "multi-counter (or multicounter) automata ; co-finiteness ; wqo ; coverability ; co-emptiness ; Vector Addition Systems with States (VASS) ; labelled Petri Nets ; universality",
  Month         = "July",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-02193089/file/main.pdf",
  Title         = "{Co-finiteness of VASS coverability languages}",
  URL           = "https://hal.archives-ouvertes.fr/hal-02193089",
  Year          = "2019",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-02193089",
  File          = "Co-finiteness of VASS coverability languages - a - a - a - q.pdf"
}

@Unpublished{ figueira:hal-02193089, Author = "Figueira, Diego", date-added = "2019-12-22 11:59:58 +0100", date-modified = "2019-12-22 11:59:58 +0100", hal_id = "hal-02193089", hal_version = "v2", Keywords = "multi-counter (or multicounter) automata ; co-finiteness ; wqo ; coverability ; co-emptiness ; Vector Addition Systems with States (VASS) ; labelled Petri Nets ; universality", Month = "July", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-02193089/file/main.pdf", Title = "{Co-finiteness of VASS coverability languages}", URL = "https://hal.archives-ouvertes.fr/hal-02193089", Year = "2019", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-02193089", File = "Co-finiteness of VASS coverability languages - a - a - a - q.pdf" }