@InProceedings{   CaiOgawa:FLOPS:2014,
  Author        = "Cai, Xiaojuan and Ogawa, Mizuhito",
  BookTitle     = "Proc. of FLOPS'14",
  date-added    = "2014-04-22 13:24:39 +0000",
  date-modified = "2019-08-16 17:13:53 +0200",
  Title         = "Well-structured pushdown system: Case of Dense Timed Pushdown Automata",
  Year          = "2014",
  File          = "Well-structured pushdown system Case of Dense Timed Pushdown Automata - Cai, Ogawa (0) (0) - a - a - h.pdf"
}

@InProceedings{ CaiOgawa:FLOPS:2014, Author = "Cai, Xiaojuan and Ogawa, Mizuhito", BookTitle = "Proc. of FLOPS'14", date-added = "2014-04-22 13:24:39 +0000", date-modified = "2019-08-16 17:13:53 +0200", Title = "Well-structured pushdown system: Case of Dense Timed Pushdown Automata", Year = "2014", File = "Well-structured pushdown system Case of Dense Timed Pushdown Automata - Cai, Ogawa (0) (0) - a - a - h.pdf" }