@Article{         Cece,
  Author        = "C{\'e}c{\'e}, G{\'e}rard",
  date-added    = "2013-11-23 14:37:50 +0000",
  date-modified = "2013-11-23 14:37:58 +0000",
  EPrint        = "1301.1638",
  Month         = "01",
  Title         = "Three Simulation Algorithms for Labelled Transition Systems",
  URL           = "http://arxiv.org/abs/1301.1638",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1301.1638",
  File          = "Three Simulation Algorithms for Labelled Transition Systems - Cécé (0) (0) - a - a - f.pdf"
}

@Article{ Cece, Author = "C{\'e}c{\'e}, G{\'e}rard", date-added = "2013-11-23 14:37:50 +0000", date-modified = "2013-11-23 14:37:58 +0000", EPrint = "1301.1638", Month = "01", Title = "Three Simulation Algorithms for Labelled Transition Systems", URL = "http://arxiv.org/abs/1301.1638", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1301.1638", File = "Three Simulation Algorithms for Labelled Transition Systems - Cécé (0) (0) - a - a - f.pdf" }