@InProceedings{   hofman:hal-01252674,
  Author        = "Hofman, Piotr and Lasota, Slawomir and Lazi{\'c}, Ranko and Leroux, J{\'e}r{\^o}me and Schmitz, Sylvain and Totzke, Patrick",
  Address       = "Eindhoven, Netherlands",
  BookTitle     = "{FoSSaCS}",
  date-added    = "2016-02-23 13:53:14 +0000",
  date-modified = "2016-02-23 13:53:14 +0000",
  hal_id        = "hal-01252674",
  hal_version   = "v1",
  PDF           = "https://hal.inria.fr/hal-01252674/file/main.pdf",
  Publisher     = "{Springer}",
  Series        = "Lecture Notes in Computer Science",
  Title         = "{Coverability Trees for Petri Nets with Unordered Data}",
  URL           = "https://hal.inria.fr/hal-01252674",
  Year          = "2016",
  bdsk-url-1    = "https://hal.inria.fr/hal-01252674",
  File          = "Coverability Trees for Petri Nets with Unordered Data - Hofman, Lasota, Lazić, Leroux, Schmitz, Totzke (0) (0) - a - a - d.pdf"
}

@InProceedings{ hofman:hal-01252674, Author = "Hofman, Piotr and Lasota, Slawomir and Lazi{\'c}, Ranko and Leroux, J{\'e}r{\^o}me and Schmitz, Sylvain and Totzke, Patrick", Address = "Eindhoven, Netherlands", BookTitle = "{FoSSaCS}", date-added = "2016-02-23 13:53:14 +0000", date-modified = "2016-02-23 13:53:14 +0000", hal_id = "hal-01252674", hal_version = "v1", PDF = "https://hal.inria.fr/hal-01252674/file/main.pdf", Publisher = "{Springer}", Series = "Lecture Notes in Computer Science", Title = "{Coverability Trees for Petri Nets with Unordered Data}", URL = "https://hal.inria.fr/hal-01252674", Year = "2016", bdsk-url-1 = "https://hal.inria.fr/hal-01252674", File = "Coverability Trees for Petri Nets with Unordered Data - Hofman, Lasota, Lazić, Leroux, Schmitz, Totzke (0) (0) - a - a - d.pdf" }