@TechReport{      Ausmees,
  Author        = "Ausmees, Kristiina",
  date-added    = "2014-09-17 04:56:52 +0000",
  date-modified = "2014-09-17 05:44:52 +0000",
  Institution   = "University of Uppsala",
  Keywords      = "timed automata and timed pushdown automata",
  Title         = "Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata",
  Year          = "2012",
  File          = "Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata - Ausmees (0) (0) - a - a - l.pdf"
}

@TechReport{ Ausmees, Author = "Ausmees, Kristiina", date-added = "2014-09-17 04:56:52 +0000", date-modified = "2014-09-17 05:44:52 +0000", Institution = "University of Uppsala", Keywords = "timed automata and timed pushdown automata", Title = "Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata", Year = "2012", File = "Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata - Ausmees (0) (0) - a - a - l.pdf" }