@Article{         DBLP:journals/fuin/BouyerHR09,
  Author        = "Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-05-31 11:38:11 +0200",
  date-modified = "2012-05-31 11:38:15 +0200",
  ee            = "http://dx.doi.org/10.3233/FI-2009-0063",
  Journal       = "Fundam. Inform.",
  Keywords      = "timed automata",
  Number        = "1-2",
  Pages         = "1-25",
  Title         = "Undecidability Results for Timed Automata with Silent Transitions",
  Volume        = "92",
  Year          = "2009",
  bdsk-url-1    = "http://dl.acm.org/citation.cfm?id=1551892",
  bdsk-url-2    = "http://iospress.metapress.com/content/8k62677051461002/",
  File          = "Undecidability Results for Timed Automata with Silent Transitions - Bouyer, Haddad, Reynier (0) (0) - a - a - y.pdf"
}

@Article{ DBLP:journals/fuin/BouyerHR09, Author = "Bouyer, Patricia and Haddad, Serge and Reynier, Pierre-Alain", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-05-31 11:38:11 +0200", date-modified = "2012-05-31 11:38:15 +0200", ee = "http://dx.doi.org/10.3233/FI-2009-0063", Journal = "Fundam. Inform.", Keywords = "timed automata", Number = "1-2", Pages = "1-25", Title = "Undecidability Results for Timed Automata with Silent Transitions", Volume = "92", Year = "2009", bdsk-url-1 = "http://dl.acm.org/citation.cfm?id=1551892", bdsk-url-2 = "http://iospress.metapress.com/content/8k62677051461002/", File = "Undecidability Results for Timed Automata with Silent Transitions - Bouyer, Haddad, Reynier (0) (0) - a - a - y.pdf" }