@Article{         LangLoding,
  Author        = {Lang, Martin and L{\"o}ding, Christof},
  date-added    = "2013-12-24 12:11:16 +0000",
  date-modified = "2013-12-24 12:11:19 +0000",
  EPrint        = "1311.1043",
  Month         = "11",
  Title         = "Modeling and Verification of Infinite Systems with Resources",
  URL           = "http://arxiv.org/abs/1311.1043",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1311.1043",
  File          = "Modeling and Verification of Infinite Systems with Resources - Lang, Löding (0) (0) - a - a - i.pdf"
}

@Article{ LangLoding, Author = {Lang, Martin and L{\"o}ding, Christof}, date-added = "2013-12-24 12:11:16 +0000", date-modified = "2013-12-24 12:11:19 +0000", EPrint = "1311.1043", Month = "11", Title = "Modeling and Verification of Infinite Systems with Resources", URL = "http://arxiv.org/abs/1311.1043", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1311.1043", File = "Modeling and Verification of Infinite Systems with Resources - Lang, Löding (0) (0) - a - a - i.pdf" }