External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Verification of Web Services with Timed Automata

Gregorio Díaz, Juan José Pardo, María-Emilia Cambronero, Valentin Valero, Fernando Cuartero. Verification of Web Services with Timed Automata. In María Alpuente, Santiago Escobar, Moreno Falaschi, editors, First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Volume DSIC-II/03/05 of pages 177-191, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, 2005.

Abstract

Abstract is missing.

runs on