@InProceedings{   lazi:hal-01176755,
  Author        = "Lazi{\'c}, Ranko and Schmitz, Sylvain",
  Editor        = "Boja{\'n}czyk, Mikolaj and Lasota, Slawomir and Potapov, Igor",
  Address       = "Warsaw, Poland",
  BookTitle     = "{RP 2015 - 9th International Workshop on Reachability Problems}",
  date-added    = "2015-07-24 13:18:10 +0000",
  date-modified = "2015-08-20 09:23:16 +0000",
  hal_id        = "hal-01176755",
  hal_version   = "v1",
  Keywords      = "readme and coverability",
  Month         = "September",
  PDF           = "https://hal.inria.fr/hal-01176755/file/lncs.pdf",
  Publisher     = "{Springer}",
  Series        = "Reachability Problems",
  Title         = "{The Ideal View on Rackoff's Coverability Technique}",
  URL           = "https://hal.inria.fr/hal-01176755",
  Year          = "2015",
  bdsk-url-1    = "https://hal.inria.fr/hal-01176755",
  File          = "The Ideal View on Rackoff's Coverability Technique - Lazić, Schmitz (0) (0) - a - a - v.pdf",
  file-2        = "The Ideal View on Rackoff's Coverability Technique - Lazić, Schmitz (1) (0) - a - a - v.pdf"
}

@InProceedings{ lazi:hal-01176755, Author = "Lazi{\'c}, Ranko and Schmitz, Sylvain", Editor = "Boja{\'n}czyk, Mikolaj and Lasota, Slawomir and Potapov, Igor", Address = "Warsaw, Poland", BookTitle = "{RP 2015 - 9th International Workshop on Reachability Problems}", date-added = "2015-07-24 13:18:10 +0000", date-modified = "2015-08-20 09:23:16 +0000", hal_id = "hal-01176755", hal_version = "v1", Keywords = "readme and coverability", Month = "September", PDF = "https://hal.inria.fr/hal-01176755/file/lncs.pdf", Publisher = "{Springer}", Series = "Reachability Problems", Title = "{The Ideal View on Rackoff's Coverability Technique}", URL = "https://hal.inria.fr/hal-01176755", Year = "2015", bdsk-url-1 = "https://hal.inria.fr/hal-01176755", File = "The Ideal View on Rackoff's Coverability Technique - Lazić, Schmitz (0) (0) - a - a - v.pdf", file-2 = "The Ideal View on Rackoff's Coverability Technique - Lazić, Schmitz (1) (0) - a - a - v.pdf" }