@Article{         Cecea,
  Author        = "Cece, G{\'e}rard",
  date-added    = "2013-11-23 15:00:22 +0000",
  date-modified = "2013-11-23 15:00:37 +0000",
  EPrint        = "1302.3489",
  Month         = "02",
  Title         = "Bisimulations over DLTS in O(m.log n)-time",
  URL           = "http://arxiv.org/abs/1302.3489",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1302.3489",
  File          = "Bisimulations over DLTS in O(m.log n)-time - Cece (0) (0) - a - a - n.pdf"
}

@Article{ Cecea, Author = "Cece, G{\'e}rard", date-added = "2013-11-23 15:00:22 +0000", date-modified = "2013-11-23 15:00:37 +0000", EPrint = "1302.3489", Month = "02", Title = "Bisimulations over DLTS in O(m.log n)-time", URL = "http://arxiv.org/abs/1302.3489", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1302.3489", File = "Bisimulations over DLTS in O(m.log n)-time - Cece (0) (0) - a - a - n.pdf" }