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. Electronic Notes in Theoretical Computer Science, 157(2):19-34, 2006. [doi]

Authors

Gregorio Díaz

This author has not been identified. Look up 'Gregorio Díaz' in Google

Juan José Pardo

This author has not been identified. Look up 'Juan José Pardo' in Google

María-Emilia Cambronero

This author has not been identified. Look up 'María-Emilia Cambronero' in Google

Valentin Valero

This author has not been identified. Look up 'Valentin Valero' in Google

Fernando Cuartero

This author has not been identified. Look up 'Fernando Cuartero' in Google
runs on