@InProceedings{   DBLP:conf/wia/OrtizLS11,
  Author        = "Ortiz, James Jerson and Legay, Axel and Schobbens, Pierre-Yves",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  BookTitle     = "CIAA",
  date-added    = "2012-05-28 10:52:35 +0200",
  date-modified = "2012-07-11 11:40:00 +0200",
  ee            = "http://dx.doi.org/10.1007/978-3-642-22256-6\_23",
  Keywords      = "timed automata",
  Pages         = "250-263",
  Title         = "Distributed Event Clock Automata - Extended Abstract",
  Year          = "2011",
  File          = "Distributed Event Clock Automata - Extended Abstract - Ortiz, Legay, Schobbens (0) (0) - a - a - n.pdf"
}

@InProceedings{ DBLP:conf/wia/OrtizLS11, Author = "Ortiz, James Jerson and Legay, Axel and Schobbens, Pierre-Yves", bibsource = "DBLP, http://dblp.uni-trier.de", BookTitle = "CIAA", date-added = "2012-05-28 10:52:35 +0200", date-modified = "2012-07-11 11:40:00 +0200", ee = "http://dx.doi.org/10.1007/978-3-642-22256-6_23", Keywords = "timed automata", Pages = "250-263", Title = "Distributed Event Clock Automata - Extended Abstract", Year = "2011", File = "Distributed Event Clock Automata - Extended Abstract - Ortiz, Legay, Schobbens (0) (0) - a - a - n.pdf" }