@InProceedings{   UezatoMinamide:ATVA:2013,
  Author        = "Uezato, Yuya and Minamide, Yasuhiko",
  Editor        = "Van Hung, Dang and Ogawa, Mizuhito",
  BookTitle     = "Proc. of ATVA'13",
  date-added    = "2013-07-22 08:39:46 +0000",
  date-modified = "2019-08-16 17:17:55 +0200",
  ISBN          = "978-3-319-02444-8",
  Keywords      = "timed automata and pushdown automata",
  Pages         = "412--426",
  Publisher     = "Springer",
  Title         = "Pushdown Systems with Stack Manipulation",
  Year          = "2013",
  File          = "Pushdown Systems with Stack Manipulation - Uezato, Minamide (0) (0) - a - a - p.pdf"
}

@InProceedings{ UezatoMinamide:ATVA:2013, Author = "Uezato, Yuya and Minamide, Yasuhiko", Editor = "Van Hung, Dang and Ogawa, Mizuhito", BookTitle = "Proc. of ATVA'13", date-added = "2013-07-22 08:39:46 +0000", date-modified = "2019-08-16 17:17:55 +0200", ISBN = "978-3-319-02444-8", Keywords = "timed automata and pushdown automata", Pages = "412--426", Publisher = "Springer", Title = "Pushdown Systems with Stack Manipulation", Year = "2013", File = "Pushdown Systems with Stack Manipulation - Uezato, Minamide (0) (0) - a - a - p.pdf" }