@Article{         AbdullaAtigStenmana,
  Author        = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari",
  Abstract      = "In this tutorial, we illustrate through examples how we can combine two classical models, namely those of pushdown automata (PDA) and timed automata, in order to obtain timed pushdown automata (TPDA). Furthermore, we describe how the reachability problem for TPDAs can be reduced to the reachability problem for PDAs.",
  date-added    = "2012-12-19 09:28:32 +0000",
  date-modified = "2012-12-19 09:33:07 +0000",
  EPrint        = "1212.3871",
  Keywords      = "timed automata and pushdown automata and tutorial",
  Month         = "12",
  Title         = "Adding Time to Pushdown Automata",
  URL           = "http://arxiv.org/abs/1212.3871",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1212.3871",
  File          = "Adding Time to Pushdown Automata - Abdulla, Atig, Stenman (0) (0) - a - a - n.pdf"
}

@Article{ AbdullaAtigStenmana, Author = "Abdulla, Parosh Aziz and Atig, Mohamed Faouzi and Stenman, Jari", Abstract = "In this tutorial, we illustrate through examples how we can combine two classical models, namely those of pushdown automata (PDA) and timed automata, in order to obtain timed pushdown automata (TPDA). Furthermore, we describe how the reachability problem for TPDAs can be reduced to the reachability problem for PDAs.", date-added = "2012-12-19 09:28:32 +0000", date-modified = "2012-12-19 09:33:07 +0000", EPrint = "1212.3871", Keywords = "timed automata and pushdown automata and tutorial", Month = "12", Title = "Adding Time to Pushdown Automata", URL = "http://arxiv.org/abs/1212.3871", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1212.3871", File = "Adding Time to Pushdown Automata - Abdulla, Atig, Stenman (0) (0) - a - a - n.pdf" }