@Article{         LangeLozes,
  Author        = "Lange, Martin and Lozes, Etienne",
  date-added    = "2014-03-19 20:26:13 +0000",
  date-modified = "2014-03-19 20:26:29 +0000",
  EPrint        = "1202.3500",
  Month         = "02",
  Title         = "Model-Checking the Higher-Dimensional Modal mu-Calculus",
  URL           = "http://arxiv.org/abs/1202.3500",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1202.3500",
  File          = "Model-Checking the Higher-Dimensional Modal mu-Calculus - Lange, Lozes (0) (0) - a - a - y.pdf",
  file-2        = "Model-Checking the Higher-Dimensional Modal mu-Calculus - Lange, Lozes (1) (0) - a - a - y.pdf"
}

@Article{ LangeLozes, Author = "Lange, Martin and Lozes, Etienne", date-added = "2014-03-19 20:26:13 +0000", date-modified = "2014-03-19 20:26:29 +0000", EPrint = "1202.3500", Month = "02", Title = "Model-Checking the Higher-Dimensional Modal mu-Calculus", URL = "http://arxiv.org/abs/1202.3500", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1202.3500", File = "Model-Checking the Higher-Dimensional Modal mu-Calculus - Lange, Lozes (0) (0) - a - a - y.pdf", file-2 = "Model-Checking the Higher-Dimensional Modal mu-Calculus - Lange, Lozes (1) (0) - a - a - y.pdf" }