@Unpublished{     leroux:hal-00780462,
  Author        = "Leroux, J{\'e}r{\^o}me",
  date-added    = "2015-07-24 15:53:31 +0000",
  date-modified = "2015-07-24 15:53:31 +0000",
  hal_id        = "hal-00780462",
  hal_version   = "v1",
  Month         = "January",
  Note          = "Submitted",
  PDF           = "https://hal.archives-ouvertes.fr/hal-00780462/file/main.pdf",
  Title         = "{Presburger Vector Addition Systems}",
  URL           = "https://hal.archives-ouvertes.fr/hal-00780462",
  Year          = "2013",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-00780462",
  File          = "Presburger Vector Addition Systems - Leroux (0) (1) - a - a - e.pdf"
}

@Unpublished{ leroux:hal-00780462, Author = "Leroux, J{\'e}r{\^o}me", date-added = "2015-07-24 15:53:31 +0000", date-modified = "2015-07-24 15:53:31 +0000", hal_id = "hal-00780462", hal_version = "v1", Month = "January", Note = "Submitted", PDF = "https://hal.archives-ouvertes.fr/hal-00780462/file/main.pdf", Title = "{Presburger Vector Addition Systems}", URL = "https://hal.archives-ouvertes.fr/hal-00780462", Year = "2013", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-00780462", File = "Presburger Vector Addition Systems - Leroux (0) (1) - a - a - e.pdf" }