External Links

Cite Key

Statistics

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

PDF

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.

BpelVT: A Tool for Formal Validation of Web Service Orchestrations

Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem. BpelVT: A Tool for Formal Validation of Web Service Orchestrations. In Sumitra Reddy, Khalil Drira, editors, 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2012, Toulouse, France, June 25-27, 2012. pages 426-428, IEEE Computer Society, 2012. [doi]

Authors

Wael Sellami

This author has not been identified. Look up 'Wael Sellami' in Google

Hatem Hadj Kacem

This author has not been identified. Look up 'Hatem Hadj Kacem' in Google

Ahmed Hadj Kacem

This author has not been identified. Look up 'Ahmed Hadj Kacem' in Google
runs on