@InProceedings{jjcc2007,
  author = "Juan J. Pardo and Gregorio Diaz and M.Carmen Ruiz and M.E. Cambronero and Valentín Valero",
  title = "Analisis y Verificación de un sistema de Servicios Web para la mejora de regadios",
  booktitle = "Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos",
  address =  {Torremolinos (Spain)},
  pages={173-181},
  date = {June 6-8},
  year={2007}
}