@InProceedings{   Atig:2017ab,
  Author        = "Atig, Mohamed Faouzi and Cyriac, Aiswarya and Abdulla, Parosh Aziz",
  BookTitle     = "Proc. of CONCUR'17",
  date-added    = "2017-07-30 14:24:22 +0000",
  date-modified = "2017-07-30 14:24:54 +0000",
  Title         = "Data Multi-Pushdown Automata",
  Year          = "2017",
  File          = "087c013c3d533ba116670003556dee6326be (0) - a - a - y.pdf"
}

@InProceedings{ Atig:2017ab, Author = "Atig, Mohamed Faouzi and Cyriac, Aiswarya and Abdulla, Parosh Aziz", BookTitle = "Proc. of CONCUR'17", date-added = "2017-07-30 14:24:22 +0000", date-modified = "2017-07-30 14:24:54 +0000", Title = "Data Multi-Pushdown Automata", Year = "2017", File = "087c013c3d533ba116670003556dee6326be (0) - a - a - y.pdf" }