@Article{         DBLP:journals/eatcs/Asarin04,
  Author        = "Asarin, Eugene",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2012-05-09 18:02:09 +0200",
  date-modified = "2012-05-31 09:23:11 +0200",
  ee            = "http://www.cs.auc.dk/\$\sim$luca/BEATCS/timedchall.pdf",
  Journal       = "Bulletin of the EATCS",
  Keywords      = "timed automata",
  Pages         = "106-120",
  Title         = "Challenges in Timed Languages: from applied theory to basic theory",
  Volume        = "83",
  Year          = "2004",
  File          = "Challenges in Timed Languages from applied theory to basic theory - Asarin (0) (0) - a - a - a.pdf"
}

@Article{ DBLP:journals/eatcs/Asarin04, Author = "Asarin, Eugene", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2012-05-09 18:02:09 +0200", date-modified = "2012-05-31 09:23:11 +0200", ee = "http://www.cs.auc.dk/\$\sim$luca/BEATCS/timedchall.pdf", Journal = "Bulletin of the EATCS", Keywords = "timed automata", Pages = "106-120", Title = "Challenges in Timed Languages: from applied theory to basic theory", Volume = "83", Year = "2004", File = "Challenges in Timed Languages from applied theory to basic theory - Asarin (0) (0) - a - a - a.pdf" }