@Article{         Bansal:2012uq,
  Author        = "Bansal, Kshitij and Demri, St{\'e}phane",
  date-added    = "2014-03-31 09:27:50 +0000",
  date-modified = "2014-03-31 09:27:55 +0000",
  EPrint        = "1212.1485",
  Month         = "12",
  Title         = "A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems",
  URL           = "http://arxiv.org/abs/1212.1485",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1212.1485",
  File          = "A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems - Bansal, Demri (0) (0) - a - a - i.pdf"
}

@Article{ Bansal:2012uq, Author = "Bansal, Kshitij and Demri, St{\'e}phane", date-added = "2014-03-31 09:27:50 +0000", date-modified = "2014-03-31 09:27:55 +0000", EPrint = "1212.1485", Month = "12", Title = "A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems", URL = "http://arxiv.org/abs/1212.1485", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1212.1485", File = "A Note on the Complexity of Model-Checking Bounded Multi-Pushdown Systems - Bansal, Demri (0) (0) - a - a - i.pdf" }