@inproceedings{dedios99,
  author    = {De Dios, Agust\'{\i}n and Sahelices, Benjam\'{\i}n and 
  Llanos, Diego R.},
  title     = {Una aproximaci\'on a la verificaci\'on del protocolo de
  coherencia cache del sistema {COMA-BC}},
  booktitle = {Proc. X Jornadas de Paralelismo},
  address = {La Manga del Mar Menor, Murcia, Spain},
  year      = {1999},
  month     = {September}
}