@InProceedings{   LazicSchmitz:CSL-LICS:2014,
  Author        = "Lazi\'{c}, Ranko and Schmitz, Sylvain",
  BookTitle     = "Proc. {CSL-LICS}'14",
  date-added    = "2017-03-29 16:36:22 +0000",
  date-modified = "2017-03-29 16:37:14 +0000",
  Publisher     = "ACM",
  Title         = "Non-elementary complexities for branching {VASS}, {MELL}, and extensions",
  Year          = "2014"
}

@InProceedings{ LazicSchmitz:CSL-LICS:2014, Author = "Lazi\'{c}, Ranko and Schmitz, Sylvain", BookTitle = "Proc. {CSL-LICS}'14", date-added = "2017-03-29 16:36:22 +0000", date-modified = "2017-03-29 16:37:14 +0000", Publisher = "ACM", Title = "Non-elementary complexities for branching {VASS}, {MELL}, and extensions", Year = "2014" }