@Unpublished{     UezatoMinamidea,
  Author        = "Uezato, Yuya and Minamide, Yasuhiko",
  date-added    = "2015-03-02 13:24:40 +0000",
  date-modified = "2015-03-02 13:24:57 +0000",
  Title         = "The Essence of Region Abstraction for Timed Pushdown Automata",
  Year          = "2015",
  File          = "The Essence of Region Abstraction for Timed Pushdown Automata - Uezato, Minamide (0) (0) - a - a - q.pdf"
}

@Unpublished{ UezatoMinamidea, Author = "Uezato, Yuya and Minamide, Yasuhiko", date-added = "2015-03-02 13:24:40 +0000", date-modified = "2015-03-02 13:24:57 +0000", Title = "The Essence of Region Abstraction for Timed Pushdown Automata", Year = "2015", File = "The Essence of Region Abstraction for Timed Pushdown Automata - Uezato, Minamide (0) (0) - a - a - q.pdf" }