@inproceedings{vos04:5,
  author       = {Tanja E. J. Vos and S. Doaitse Swierstra},
  title        = {Facilitating the Verification of Diffusing Computations and Their Applications},
  booktitle    = {30ma Conferencia Latinoamericana de Inform‡tica (CLEI2004)},
  year         = {2004},
  editor       = {Mauricio Solar and David Fern‡ndez-Baca and Ernesto Cuadros-Vargas},
  pages        = {42--53},
  address      = {},
  month        = Sep,
  organization = {Sociedad Peruana de Computaci—n},
  note         = {ISBN 9972-9876-2-0},
  urlpdf       = {http://clei2004.spc.org.pe/es/html/pdfs/5.pdf},
  pubcat       = {inproceedings},
}