Logic-based verification for Web services composition with TLA - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hongbing Wang, Li Li, Chen Wang, Zuling Kang, Dongxi Liu, Jemma Wu, Athman Bouguettaya. Logic-based verification for Web services composition with TLA. In IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2009, 14-15 December 2009, Taipei, Taiwan. pages 1-8, IEEE, 2009. [doi]

This author has not been identified. Look up 'Hongbing Wang' in GoogleThis author has not been identified. Look up 'Li Li' in GoogleThis author has not been identified. Look up 'Chen Wang' in GoogleThis author has not been identified. Look up 'Zuling Kang' in GoogleThis author has not been identified. Look up 'Dongxi Liu' in GoogleThis author has not been identified. Look up 'Jemma Wu' in GoogleThis author has not been identified. Look up 'Athman Bouguettaya' in Google

runs on WebDSL