@Article{         LangeLozesGuzman,
  Author        = "Lange, Martin and Lozes, Etienne and Guzm{\'a}n, Manuel Vargas",
  date-added    = "2014-03-19 20:27:59 +0000",
  date-modified = "2014-03-19 20:29:24 +0000",
  EPrint        = "1210.2451",
  Keywords      = "readme",
  Month         = "10",
  Title         = "Model-Checking Process Equivalences",
  URL           = "http://arxiv.org/abs/1210.2451",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.2451",
  File          = "Model-Checking Process Equivalences - Lange, Lozes, Guzmán (0) (0) - a - a - h.pdf"
}

@Article{ LangeLozesGuzman, Author = "Lange, Martin and Lozes, Etienne and Guzm{\'a}n, Manuel Vargas", date-added = "2014-03-19 20:27:59 +0000", date-modified = "2014-03-19 20:29:24 +0000", EPrint = "1210.2451", Keywords = "readme", Month = "10", Title = "Model-Checking Process Equivalences", URL = "http://arxiv.org/abs/1210.2451", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.2451", File = "Model-Checking Process Equivalences - Lange, Lozes, Guzmán (0) (0) - a - a - h.pdf" }