@TechReport{      blondin:hal-01242916,
  Author        = "Blondin, Michael and Finkel, Alain and Haase, Christoph and Haddad, Serge",
  date-added    = "2016-02-23 13:08:01 +0000",
  date-modified = "2016-02-23 13:08:01 +0000",
  hal_id        = "hal-01242916",
  hal_version   = "v1",
  Institution   = "{Computing Research Repository}",
  Number        = "1510.05724",
  Title         = "{Approaching the Coverability Problem Continuously}",
  Type          = "Research Report",
  URL           = "https://hal.archives-ouvertes.fr/hal-01242916",
  Year          = "2015",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-01242916",
  File          = "Approaching the Coverability Problem Continuously - Blondin, Finkel, Haase, Haddad (0) (1) - a - a - g.pdf"
}

@TechReport{ blondin:hal-01242916, Author = "Blondin, Michael and Finkel, Alain and Haase, Christoph and Haddad, Serge", date-added = "2016-02-23 13:08:01 +0000", date-modified = "2016-02-23 13:08:01 +0000", hal_id = "hal-01242916", hal_version = "v1", Institution = "{Computing Research Repository}", Number = "1510.05724", Title = "{Approaching the Coverability Problem Continuously}", Type = "Research Report", URL = "https://hal.archives-ouvertes.fr/hal-01242916", Year = "2015", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-01242916", File = "Approaching the Coverability Problem Continuously - Blondin, Finkel, Haase, Haddad (0) (1) - a - a - g.pdf" }