@InProceedings{dcpvc06,
  author = "Gregorio Diaz and  M.Emilia Cambronero and Juan J. Pardo and  Valentin Valero and Fernando Cuartero",
  title = "Automatic Generation of Correct Web Services Choreographies and Orchestrations with Model-Checking",
  booktitle = "In Proceedings of the International Conference on Internet and Web Applications and Services (ICIW 2006)",
  address =  {Los Alamitos (USA)},
  publisher=" IEEE Press",
  date = {February 19-25},
  year={2006}
}