@Unpublished{     lazi:hal-01265302,
  Author        = "Lazi{\'c}, Ranko and Schmitz, Sylvain",
  date-added    = "2016-03-07 09:52:39 +0000",
  date-modified = "2016-03-07 09:52:39 +0000",
  hal_id        = "hal-01265302",
  hal_version   = "v1",
  Keywords      = "well-structured transition system ; formal verification ; well-quasi-order ; order ideal ; fast-growing complexity",
  Month         = "January",
  Note          = "working paper or preprint",
  PDF           = "https://hal.inria.fr/hal-01265302/file/sigplanconf.pdf",
  Title         = "{The Complexity of Coverability in nu-Petri Nets}",
  URL           = "https://hal.inria.fr/hal-01265302",
  Year          = "2016",
  bdsk-url-1    = "https://hal.inria.fr/hal-01265302",
  File          = "The Complexity of Coverability in nu-Petri Nets - Lazić, Schmitz (0) (0) - a - a - c.pdf"
}

@Unpublished{ lazi:hal-01265302, Author = "Lazi{\'c}, Ranko and Schmitz, Sylvain", date-added = "2016-03-07 09:52:39 +0000", date-modified = "2016-03-07 09:52:39 +0000", hal_id = "hal-01265302", hal_version = "v1", Keywords = "well-structured transition system ; formal verification ; well-quasi-order ; order ideal ; fast-growing complexity", Month = "January", Note = "working paper or preprint", PDF = "https://hal.inria.fr/hal-01265302/file/sigplanconf.pdf", Title = "{The Complexity of Coverability in nu-Petri Nets}", URL = "https://hal.inria.fr/hal-01265302", Year = "2016", bdsk-url-1 = "https://hal.inria.fr/hal-01265302", File = "The Complexity of Coverability in nu-Petri Nets - Lazić, Schmitz (0) (0) - a - a - c.pdf" }