@articlenProceedings{dpcvc06,
  author = "G. Díaz and Juan J. Pardo and M. Emilia Cambronero and Valentin Valero  and Fernando Cuartero",
  title = "Verification of Web Services with Timed Automata",
  journal = "Electronic Notes in Theoretical Computer Science",
  address =  {Santa Fe (U.S.A.)},
  pages={19-34},
  number={157},
  note={Presented in 1st Int'l Workshop on Automated Specification and Verification of Web Sites (WWV'05)},
  year={2006}
}