@InProceedings{   abdulla:multi-pushdown,
  Author        = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Rezine, Othmane and Stenman, Jari",
  BookTitle     = "FMCAD'12",
  date-added    = "2013-11-27 17:52:04 +0000",
  date-modified = "2013-11-27 17:52:04 +0000",
  Pages         = "24-33",
  Title         = "Multi-pushdown systems with budgets",
  Year          = "2012",
  File          = "Multi-pushdown systems with budgets - Abdulla, Atig, Rezine, Stenman (0) (0) - a - a - k.pdf"
}

@InProceedings{ abdulla:multi-pushdown, Author = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Rezine, Othmane and Stenman, Jari", BookTitle = "FMCAD'12", date-added = "2013-11-27 17:52:04 +0000", date-modified = "2013-11-27 17:52:04 +0000", Pages = "24-33", Title = "Multi-pushdown systems with budgets", Year = "2012", File = "Multi-pushdown systems with budgets - Abdulla, Atig, Rezine, Stenman (0) (0) - a - a - k.pdf" }