@Article{         DBLP:journals/eatcs/Finkel05,
  Author        = "Finkel, Olivier",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-07-11 13:51:33 +0200",
  date-modified = "2012-07-11 13:51:55 +0200",
  Journal       = "Bulletin of the EATCS",
  Keywords      = "timed automata",
  Pages         = "185-190",
  Title         = "On Decision Problems for Timed Automata",
  Volume        = "87",
  Year          = "2005",
  File          = "On Decision Problems for Timed Automata - Finkel (0) (0) - a - a - s.pdf"
}

@Article{ DBLP:journals/eatcs/Finkel05, Author = "Finkel, Olivier", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-07-11 13:51:33 +0200", date-modified = "2012-07-11 13:51:55 +0200", Journal = "Bulletin of the EATCS", Keywords = "timed automata", Pages = "185-190", Title = "On Decision Problems for Timed Automata", Volume = "87", Year = "2005", File = "On Decision Problems for Timed Automata - Finkel (0) (0) - a - a - s.pdf" }